blob: 3663f167b0737d0f53b28dc797d18eb30010dbe3 (
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 77 49");
htput(.ht, "^NIVAL", "020-1 84 74");
htput(.ht, "^TULI", "001-1 84 100");
}
|