]> matita.cs.unibo.it Git - helm.git/commit
Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Nov 2018 19:30:26 +0000 (20:30 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Nov 2018 19:30:26 +0000 (20:30 +0100)
commit9faea203fd99a44d75ea8bcd15b59942a4226922
treed3fdaef03efa43df2020216944a105d19e0048a3
parentae3e8f274a39b9ce5b551163f7fd76f3b8b4ed58
parent3ba665bba69c4505ab8fb7a9be661667c097a646
Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm