]> matita.cs.unibo.it Git - logicplayer.git/commit
projects / logicplayer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60aa65c) | patch
JOURNAL updated
authorroot <root@lahar.helm.cs.unibo.it>
Mon, 5 Oct 2015 14:55:53 +0000 (16:55 +0200)
committerroot <root@lahar.helm.cs.unibo.it>
Mon, 5 Oct 2015 14:55:53 +0000 (16:55 +0200)
commite477ff2be762ba333c5c77c14bfdea574c700259
tree36fb7ca8353c822f16c2c45ad19462b7ae7a2797tree | snapshot
parent60aa65c932ed92a11ec1f5e56d252cd15fa95e21commit | diff
JOURNAL updated

The DB name was wrong.
JOURNAL diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.