git://colo12-c703.uibk.ac.at / Model of HOL/.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31c5bab) | patch
Empty commit master
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 22 Aug 2013 13:53:08 +0000 (15:53 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 22 Aug 2013 13:53:08 +0000 (15:53 +0200)
commit8c50d27477d8427d370cdd43de69267e439854bc
treef6744cb21befe05aef486eb5ce69be6272aa033ctree | snapshot
parent31c5bab5207ae93790888117d06dd922e8b48f30commit | diff
Empty commit
Unnamed repository; edit this file 'description' to name the repository.