search

andre-simon / highlight

Source code to formatted text converter
GNU General Public License v3.0
206 stars 58 forks source link

Fix Polygen Name #53

Closed tajmone closed 6 years ago

tajmone commented 6 years ago

Last minute change before merging into official distribution: Since today, Polygen author has announced that the official spelling is "Polygen" (and not "PolyGen", as it was often refered to in the past). So, just fixing the name where it occurs.

tajmone commented 6 years ago

No big changes really. It's just that the author asked me to refer to the app using the official name "Polygen":

https://github.com/tajmone/polygen-grammars/issues/1