]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6df9805) | patch
commented out gtkmathview's font_size override
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:50:58 +0000 (09:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:50:58 +0000 (09:50 +0000)
commit090e2272788bdbaa480e3e677d5c303f2a9d8d0d
tree34d31bd53310f50aa350cbcebdcc4d7d0a529c93tree | snapshot
parent6df980575d031355d2c4be26a029ed0d6c680bffcommit | diff
commented out gtkmathview's font_size override
helm/gTopLevel/termViewer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.