]> matita.cs.unibo.it Git - logicplayer.git/commit
projects / logicplayer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe907be) | patch
...
authorClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Tue, 16 Dec 2014 17:08:38 +0000 (18:08 +0100)
committerClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Tue, 16 Dec 2014 17:08:38 +0000 (18:08 +0100)
commit60aa65c932ed92a11ec1f5e56d252cd15fa95e21
treed0c7f5feb2cd53b54cda15a003e4f4d36f134998tree | snapshot
parentfe907be1f1a01ae957d001680ace8c7983ae361dcommit | diff
...
BUGS diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.