diff options
author | johannst <stoelp@eit.uni-kl.de> | 2019-06-09 18:29:08 +0200 |
---|---|---|
committer | johannst <stoelp@eit.uni-kl.de> | 2019-06-09 18:29:08 +0200 |
commit | b95ddc8faac6b638c3121b2d6cc9b32f6c62793f (patch) | |
tree | 7cf5b98afa2a641ebc43bb0d542d3e5de80e446e /.github | |
parent | 2e97b8a7cc88b9fcdab606d2c94c376d31a47696 (diff) | |
download | notes-b95ddc8faac6b638c3121b2d6cc9b32f6c62793f.tar.gz notes-b95ddc8faac6b638c3121b2d6cc9b32f6c62793f.zip |
changed filtype to "help" when opened with vim; added toc; added vim helptags; unified quotes for string args
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions