]> 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, 29 Jun 2022 12:23:12 +0000 (14:23 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 29 Jun 2022 12:23:12 +0000 (14:23 +0200)
commit3729defa81f91b5f1259d628299bce9dbc5bfb7f
treeb1567140e8a50c0cb7b5de07d8574afdd849e102
parent9084ed69b2ad9c9c2899def8a12dd907f9ce4ced
parentccbaf3fd118c7c6425b3572a057ccc2941b7762e
Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm