https://github.com/bagustris/gedit-latex-external-tools
Set of LaTeX tools for Gedit. Requires Gedit external-tools plugin.
https://github.com/bagustris/gedit-latex-external-tools
gedit gedit-plugin latex
Last synced: 3 months ago
JSON representation
Set of LaTeX tools for Gedit. Requires Gedit external-tools plugin.
- Host: GitHub
- URL: https://github.com/bagustris/gedit-latex-external-tools
- Owner: bagustris
- Created: 2019-07-02T15:21:45.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-12-28T12:33:19.000Z (almost 6 years ago)
- Last Synced: 2023-06-01T23:22:47.303Z (over 2 years ago)
- Topics: gedit, gedit-plugin, latex
- Language: Shell
- Homepage:
- Size: 114 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0