]> matita.cs.unibo.it Git - helm.git/commit
Merge branch 'dune' of git+ssh://matita.cs.unibo.it/srv/git/helm into dune dune
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:26:47 +0000 (15:26 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:26:47 +0000 (15:26 +0100)
commit0af83899c857dfb34e5edaf02df0837985af5a0d
tree1170c5c9cde4ad7f8259069fc50bdf7e97a688cb
parentd714ef92f5e67cb59ac543e06c1df504ad791a95
parent521a4a38e7b08b797953d2b5f9de51d78ad7ce60
Merge branch 'dune' of git+ssh://matita.cs.unibo.it/srv/git/helm into dune