]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 121d6d7) | patch
old bug in mtime computation fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 12 Sep 2008 18:11:44 +0000 (18:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 12 Sep 2008 18:11:44 +0000 (18:11 +0000)
commite45ba2323380ad74c296dd4ec16a71be51c069ba
tree480cad806ba9ef00b7999656de85467b9426dd89tree | snapshot
parent121d6d7cd72ae57a4ed838ef02ae98f3bafb6e9dcommit | diff
old bug in mtime computation fixed
helm/software/components/library/librarian.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.