Browse Source

* make.cmd renamed to make_old.cmd

Tomas Hajny 24 years ago
parent
commit
918d797b20
1 changed files with 0 additions and 1 deletions
  1. 0 1
      compiler/make_old.cmd

+ 0 - 1
compiler/make.cmd → compiler/make_old.cmd

@@ -63,4 +63,3 @@ goto eind
 $log: make.cmd,v$
 $log: make.cmd,v$
 
 
 :eind
 :eind
-