59b1f522b5
gedit-latex is a plugin that provides features to ease the edition of latex documents. ok jasper@
3 lines
87 B
Plaintext
Executable File
3 lines
87 B
Plaintext
Executable File
gedit-latex is a plugin that provides features to ease the edition of
|
|
latex documents.
|