shortcut: If default_pageext is set, first look for shortcuts.default_pageext
[ikiwiki] / doc / plugins / editdiff /
drwxr-xr-x   ..
-rw-r--r-- 305 discussion.mdwn