diff options
Diffstat (limited to 'mps/code/gathconf.bat')
| -rw-r--r-- | mps/code/gathconf.bat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mps/code/gathconf.bat b/mps/code/gathconf.bat index bff0ba51820..49faacdef25 100644 --- a/mps/code/gathconf.bat +++ b/mps/code/gathconf.bat | |||
| @@ -1,7 +1,6 @@ | |||
| 1 | @rem impl.bat.gathconf: GATHERING A RELEASE FOR CONFIGURA | 1 | @rem impl.bat.gathconf: GATHERING A RELEASE FOR CONFIGURA |
| 2 | @rem | 2 | @rem |
| 3 | @rem $Id$ | 3 | @rem $Id$ |
| 4 | @rem $HopeName: MMsrc!gathconf.bat(trunk.2) $ | ||
| 5 | @rem Copyright (c) 2001 Ravenbrook Limited. | 4 | @rem Copyright (c) 2001 Ravenbrook Limited. |
| 6 | 5 | ||
| 7 | mkdir release | 6 | mkdir release |