]> matita.cs.unibo.it Git - helm.git/commit
removed ui_logger, now in external module logger
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jan 2004 18:04:41 +0000 (18:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jan 2004 18:04:41 +0000 (18:04 +0000)
commit31540d9f3436e7a3bc0fa5b097c7d81af80ec07f
tree2730f7663579e2d5120a83cd83ba399fdd8282da
parent4e9b63f5043a4cf5f1ced7032ff7da31d01409fd
removed ui_logger, now in external module logger
helm/gTopLevel/.depend
helm/gTopLevel/Makefile