]> 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>
Tue, 9 Aug 2022 21:03:15 +0000 (23:03 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 9 Aug 2022 21:03:15 +0000 (23:03 +0200)
commit23e56dd2f1ff99613b69e1ed2a9f26e752304290
tree9b0b029bf5103a131b98259da3f7c91ebc348181
parent74a8604e5d2d3ec2dc7e67b1e257812ce340da29
parentafb5d82d388986bbeb17a4f114aebbaafc948f93
Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm