]> matita.cs.unibo.it Git - logicplayer.git/commit
JOURNAL updated to new repository layout and new version
authorwww-data <www-data@lahar.helm.cs.unibo.it>
Tue, 2 Dec 2014 11:26:35 +0000 (12:26 +0100)
committerwww-data <www-data@lahar.helm.cs.unibo.it>
Tue, 2 Dec 2014 11:26:35 +0000 (12:26 +0100)
commit7c4acf2669c90a8dc95b5e99febecf107e45f35a
tree7963602d9dedaba581679e9a33eccfff1643dde9
parent39f6e6d4d05ad6819318e8a372147dd3d4ec6af7
JOURNAL updated to new repository layout and new version
JOURNAL