]> matita.cs.unibo.it Git - helm.git/commit
changed colors to match our GtkSourceView settings
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Jul 2006 08:47:41 +0000 (08:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Jul 2006 08:47:41 +0000 (08:47 +0000)
commit3402385d12a735f3f2b725ce57fea0669c20d499
tree225732dccee5076bdf5809f60081d6bc838b4077
parent911b2823c0e495fdebf487ad55f7c06eaabfd95f
changed colors to match our GtkSourceView settings
helm/www/matita/grafite-format.css