]> matita.cs.unibo.it Git - logicplayer.git/commit
projects / logicplayer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7349615) | patch
*~ ignored
authorservillo <paolo.servillo@studio.unibo.it>
Tue, 20 Oct 2015 11:46:31 +0000 (13:46 +0200)
committerservillo <paolo.servillo@studio.unibo.it>
Tue, 20 Oct 2015 11:46:31 +0000 (13:46 +0200)
commitc06f4abfc6c9c3791bfecad08c133d6b312d86e4
tree2b1f97e36f0cfecdbc19d6bc3996170617bf7458tree | snapshot
parent734961564b370ce6309fba19162c39dc1c19f843commit | diff
*~ ignored
.gitignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.