diff gen/todt.cpp @ 614:452e6e2618bf

Don't delete the header file after it has been generated!
author Christian Kamm <kamm incasoftware de>
date Sun, 21 Sep 2008 17:35:27 +0200
parents fd32135dca3e
children
line wrap: on
line diff