gummi1
Latex editor
Overview
gummi is a simple LaTeX editor for GTK+.
Options
-
-d -
run gummi with debug logging enabled.
-
-h -
display command line options.
Releases
8 releases since Debian 7 (Wheezy); the text changed 1 time.