diff options
Diffstat (limited to 'src/mkProjectInfo.ml')
| -rw-r--r-- | src/mkProjectInfo.ml | 79 |
1 files changed, 0 insertions, 79 deletions
diff --git a/src/mkProjectInfo.ml b/src/mkProjectInfo.ml index 9fadebe..b48d844 100644 --- a/src/mkProjectInfo.ml +++ b/src/mkProjectInfo.ml @@ -46,82 +46,3 @@ Printf.printf "MAJORVERSION=%d.%d\n" majorVersion minorVersion;; Printf.printf "VERSION=%d.%d.%d\n" majorVersion minorVersion pointVersion;; Printf.printf "NAME=%s\n" projectName;; - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |