From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Tue, 1 Oct 2019 12:52:29 +0000 (+0200)
Subject: Merge remote-tracking branch 'origin/matita-lablgtk3'
X-Git-Tag: make_still_working~229
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=0af3592e3a85a4bb82c5c6df259cf9ab117ba0b1

Merge remote-tracking branch 'origin/matita-lablgtk3'

matita 0.99.4 now on master branch
---

0af3592e3a85a4bb82c5c6df259cf9ab117ba0b1