blob: 6833bbb886cd26713e56770306c8ca90b5d78d7d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
// This file is generated automatically. All manually added changes will be removed when running the Converter.
- script __anchors__ 32767,{
OnInit:
.ht = htnew();
htput(.ht, "^FERMI|VOTE", "fermi 29 20");
htput(.ht, "^HURN", "009-1 53 38");
htput(.ht, "^KESH", "099-7 97 65");
htput(.ht, "^NIVAL", "020-1 84 74");
htput(.ht, "^NUMA", "017-9 36 27");
htput(.ht, "^TULI", "001-1 84 100");
}
|
