make header_len an integer
[paraslash.git] / gui.conf.sample
2006-02-20 Andreinitial git commit