(config-semi): Change command-line interface to delete `EXEC_PREFIX'.
authormorioka <morioka>
Wed, 21 Jul 1999 08:29:04 +0000 (08:29 +0000)
committermorioka <morioka>
Wed, 21 Jul 1999 08:29:04 +0000 (08:29 +0000)
commit6aa150ae6d618c3cd42796622f854712df39a429
treea7db92a80ec357a7076367b15721e864620c44da
parent1d3f65699b1309069d7ceca2529ba44d663fbf7e
(config-semi): Change command-line interface to delete `EXEC_PREFIX'.
SEMI-MK