blob: c28e2ce2193ab797c63a36ef1944b05db252b3a3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
// 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, "^TULI", "001-1 84 100");
}
|