]> 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>
Wed, 6 Jul 2022 12:25:08 +0000 (14:25 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Jul 2022 12:25:08 +0000 (14:25 +0200)
commit3af42b8f2cb1956eed14edcc0adb9df92601f248
treee84572fcb2565a086e1e8316e8005426f3b666e9
parent306205b6853874cf485152222593b57249c6e7fa
parent3ca651e49d422d9f9a2b793841ae526baf02065c
Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm