-
Leigh B. Stoller authored
* -f option to force deletion. Only works inside ElabInElab. * -q option to keep the silly thing from spitting out so much noise. * Add a -HUP of stated to reload it tables.
08f0e7f7
* -f option to force deletion. Only works inside ElabInElab. * -q option to keep the silly thing from spitting out so much noise. * Add a -HUP of stated to reload it tables.