Fri, 26 Aug 2016 14:15:29 +0200 | Mike Becker | adds appendfile() function to main module + adds TODOs for source files which do not terminate with a blank line | changeset | files |
Fri, 26 Aug 2016 13:49:19 +0200 | Mike Becker | merges all highlighter functions into one highlighter module | changeset | files |