]> matita.cs.unibo.it Git - helm.git/commit
Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 18 Dec 2021 22:43:24 +0000 (23:43 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 18 Dec 2021 22:43:24 +0000 (23:43 +0100)
commit2e4a7c54ef77c10cb1cef4b59518c473245ea935
treed41a6a2aa4ad2e8b57809686614f68df567d2ed5
parent632dfd0a57c9951d0efbd769d6f433c4ef68a314
parentec5739f16f3d23d26dd2528bf20df21919580e0f
Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm