]> matita.cs.unibo.it Git - helm.git/commit
Old glade2 file removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Dec 2018 15:11:24 +0000 (16:11 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 Sep 2019 13:45:22 +0000 (15:45 +0200)
commit331a46f825a7c50108c721e94e0abf00042c2aac
treef0309ef695a810904cefaf34e88ee03292e71075
parent8d12e0e41b9c6100f126d390f26cedcadadc4347
Old glade2 file removed
matita/matita/matita.glade [deleted file]