Simplify execute_script(). It will probably work under Windows as well.
[tinc] / src / .cvsignore
2001-02-11 Ivo TimmermansMore files to ignore in CVS
2001-02-11 Guus SliepenIgnore file for src/