[Github-comments] [geany/geany-plugins] geanylatex: renamed to latex (#632)

LarsGit223 notifications at xxxxx
Tue Oct 17 05:01:33 UTC 2017


@elextr: It doesn't. That's why I mentioned it on the ToDo's. Can we boldly copy over the settings to a new file? Or rename the file if we see it under the old name?

@frlan: sorry, didn't know that. How far are you? If you want to send over a PR yourself than I can close this?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany-plugins/pull/632#issuecomment-337118310
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20171017/090ee93d/attachment-0001.html>


More information about the Github-comments mailing list