Commit Graph

7 Commits

Author SHA1 Message Date
8be1791f6d Convenience tweaks plus 79 chars line limit 2018-07-29 19:26:43 +02:00
897b79118d minor convenience tweaks 2018-05-23 12:55:22 +02:00
1bbf319ae5 behold the COMMENTER 2018-02-28 21:18:26 +01:00
a1a29fdfe5 much better latex and saner localleader 2018-02-26 21:21:25 +01:00
9a72c97413 space after comments 2018-02-02 15:16:36 +01:00
855ab6b1f9 fixed some mappings 2017-11-05 17:46:23 +01:00
7e81345f79 initial commit 2017-11-05 16:58:09 +01:00