]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fea6451) | patch
catches more errors
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Jun 2005 12:39:21 +0000 (12:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Jun 2005 12:39:21 +0000 (12:39 +0000)
commitc145de30a55fb5c64c023236fd149d336f5435a3
tree833a7981cf63cabe4afedeeb43f76b9d69ef3db9tree | snapshot
parentfea6451862165219503e6e402c70c62f95ec8953commit | diff
catches more errors
helm/matita/scripts/crontab.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.