]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 786d6e2) | patch
some prerr to better understand the mkdir -p error
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 22 Jul 2005 11:46:00 +0000 (11:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 22 Jul 2005 11:46:00 +0000 (11:46 +0000)
commit2a953f2a05308ee417f63dceb29e027c527d4e17
tree0c5e552eeb5c74c1b168d9fb8d3fee078fd57c75tree | snapshot
parent786d6e21b707035b6fb60353cef09fb8a17a58accommit | diff
some prerr to better understand the mkdir -p error
helm/matita/matitaMisc.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.