]> matita.cs.unibo.it Git - helm.git/history - helm/software/DEVEL/lablgtksourceview/README.where_is_lablgtksourceview
Added optionnal one pass simplification (instead of keep_simplified)
[helm.git] / helm / software / DEVEL / lablgtksourceview / README.where_is_lablgtksourceview
2006-08-22 Stefano Zacchiroliinfo about where to find LablGtkSourceView now