]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f284801) | patch
bugfix: mkdir now works also for realtive directories
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:14:27 +0000 (15:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:14:27 +0000 (15:14 +0000)
commit742332c845b599fbdaa86a02e21a5f223a4783f9
treecab3b726bc36d2acebafbce2fc79fb30fb26a504tree | snapshot
parentf28480139ee72d092a9405619c3bdf6d4ff155eecommit | diff
bugfix: mkdir now works also for realtive directories
helm/ocaml/extlib/hExtlib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.