]> matita.cs.unibo.it Git - helm.git/commit
changed log file permission to 0o640
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 16:09:53 +0000 (16:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 16:09:53 +0000 (16:09 +0000)
commit5502691620f5ad7ac81940d61f7f27585778caf7
treed9164b2367e2c7cabb22915ec05ca027de34aca2
parentec5094737abf5898aae30b1b71b5910c039c94bc
changed log file permission to 0o640
helm/uwobo/src/ocaml/uwobo.ml