diff dmd/man.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 f79bbd1d0b27
children 330f999ade44
line wrap: on
line diff