aboutsummaryrefslogtreecommitdiff
path: root/.mrconfig
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2018-11-29 04:30:34 +0100
committerJonas Smedegaard <dr@jones.dk>2018-11-29 04:30:34 +0100
commit71bd74bad510d8da3307fbc20b58e65dc53f8856 (patch)
tree3a3435dc5a5de3134cca6fb9e347c9820b53d7f7 /.mrconfig
parenteede0c3bf293611c110d753c98bdf56935144406 (diff)
Extend navigation: Add documentation maintenance.
Diffstat (limited to '.mrconfig')
0 files changed, 0 insertions, 0 deletions