Let the output from an executed script in execute_script() go to
[tinc] / debian / docs
2000-04-26 Ivo TimmermansOmit TODO.
2000-04-25 Ivo TimmermansInitial CVS.