]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d019d37) | patch
Let the widget expand in the old way
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Dec 2018 15:38:07 +0000 (16:38 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Dec 2018 15:38:07 +0000 (16:38 +0100)
commita835ae142c71d7cade1b210c8123069513dc17e4
tree59c7ac5dfc150eae34937fce19d0f0c8f697d09dtree | snapshot
parentd019d378b91936e8d40e7094e89b8d7b827f4e26commit | diff
Let the widget expand in the old way
matita/matita/matita.ui diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.