Thu, 10 Nov 2016 18:27:16 +0100 | Mike Becker | test header file now contains user-select:none property | changeset | files |
Wed, 31 Aug 2016 16:21:28 +0200 | Mike Becker | Release of version 2.0 | changeset | files |
Wed, 31 Aug 2016 16:20:58 +0200 | Mike Becker | improves API and adds functions for strings | changeset | files |
Wed, 31 Aug 2016 14:47:01 +0200 | Mike Becker | fixes ancient header macro | changeset | files |
Wed, 31 Aug 2016 14:41:56 +0200 | Mike Becker | adds appropriate public API | changeset | files |
Wed, 31 Aug 2016 12:58:48 +0200 | Mike Becker | highlighter can now handle files which do not end with a blank line | changeset | files |
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 |