blob: 68e17a41ec78c8c37711f6bbe0a2539c530ab818 (
plain) (
tree)
|
|
// 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");
}
|