diff options
author | johnvg | 2005-11-11 13:41:48 +0000 |
---|---|---|
committer | johnvg | 2005-11-11 13:41:48 +0000 |
commit | a16b73abec267ae738dbd8dbe47c9098a4752652 (patch) | |
tree | d09891e372818d78363b9c56eba8a2ad950c8e73 /main/filesystem.dcl | |
parent | remove code for compatibility with Clean 1.3 (diff) |
remove code for compatibility with Clean 1.3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1560 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/filesystem.dcl')
-rw-r--r-- | main/filesystem.dcl | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/main/filesystem.dcl b/main/filesystem.dcl index 3b29e8a..1af48f5 100644 --- a/main/filesystem.dcl +++ b/main/filesystem.dcl @@ -7,12 +7,7 @@ */ definition module filesystem -/*2.0 from StdFile import class FileSystem,::Files -0.2*/ -//1.3 -from StdFile import FileSystem, Files -//3.1 // return last modified time (local time) as "yyyymmddhhmmss" or "" on error fmodificationtime :: {#Char} !*env -> (!{#Char}, !*env) | FileSystem env |