Rev: bin/install.pike:1.8
Rev: bin/test_pike.pike:1.22
Rev: lib/modules/Stdio.pmod/module.pmod:1.38
Rev: lib/modules/Tools.pmod/Hilfe.pmod:1.3
Rev: src/Makefile.in:1.131
Rev: src/modules/Makefile.in:1.27