Skip to content
GitLab
Explore
Sign in
GNOME
gedit-latex
Repository
gedit-latex
latex
preferences
tools.py
Find file
Blame
History
Permalink
Cope with a corrupted tools.xml - closes bug #680869
· 2b4b520d
Pietro Battiston
authored
May 13, 2016
2b4b520d