Make it easier to add entries to the help-menu
treeb06664ea38e9fe27a217e0be79df4bbb9c05743d
-rw-r--r-- 1981 .clang-format
-rw-r--r-- 80 .gitattributes
-rw-r--r-- 584 .gitignore
-rw-r--r-- 395 .mailmap
drwxr-xr-x - DEVEL
-rw-r--r-- 18069 Files
-rw-r--r-- 7365 Porting
-rw-r--r-- 7750 README
drwxr-xr-x - dat
drwxr-xr-x - doc
drwxr-xr-x - include
drwxr-xr-x - src
drwxr-xr-x - sys
drwxr-xr-x - util
drwxr-xr-x - win