]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b22e6e) | patch
Added option -timeout. Default is 5s.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Mar 2004 17:57:39 +0000 (17:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Mar 2004 17:57:39 +0000 (17:57 +0000)
commitaa4474a3b23b71b8a6e0d36f0daa0e90b3ffed66
tree48dd3b3c3084416a686b97e09446a21bd0165785tree | snapshot
parent3b22e6ed78aa7d1d076734a7e91ef6f2066a4aa9commit | diff
Added option -timeout. Default is 5s.
helm/gTopLevel/testlibrary.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.