aboutsummaryrefslogtreecommitdiff
path: root/.mrconfig
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2018-11-24 19:31:06 +0100
committerJonas Smedegaard <dr@jones.dk>2018-11-24 19:31:06 +0100
commit6262a671aa471f399c9dc51853d0067050887c13 (patch)
treec0d2a893a81a830742bf10c500f3ef723d434bb4 /.mrconfig
parentee28654bb1095eeb08b8e404e7dca34e382c111c (diff)
Relax mkdocs build, to sloppily tolerate older release of mkdocs failing to parse nav hints.
Diffstat (limited to '.mrconfig')
0 files changed, 0 insertions, 0 deletions