]> matita.cs.unibo.it Git - helm.git/commit
avoid empty hvbox
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 21 Jul 2008 11:34:35 +0000 (11:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 21 Jul 2008 11:34:35 +0000 (11:34 +0000)
commit046ec6faa84164da05d6ec234e68fd2978e70ecf
tree3697e4447eeb640e333fd6f3e1decbf227ffd6ed
parentc7d638f7312eaabd7481d2a7cfb0d8508610f92b
avoid empty hvbox
helm/software/components/content_pres/termContentPres.ml