diff dmd/dump.c @ 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 2b72433d5c8c
children 661384d6a936
line wrap: on
line diff