Use WikiNames instead of URLs when linking to a page within the wiki.


[DIFF] 02:50 [INFO] molly [1]
snowden [2-3]
#01 Fix for newlines in directory names. Previous code only checked if the filename contained newlines, not the pathname. e.g. $'./new\nline/file'
#02 type fix
[DIFF] 18:20 [INFO] 185 [1-2] #01 Add missing $
#02 mktemp(1) is not from Linux.
[DIFF] 14:36 [INFO] GreyCat
[DIFF] 12:54 [INFO] GreyCat
[DIFF] 18:47 [INFO] GreyCat
[DIFF] 19:13 [INFO] 202 Fix syntax error
[DIFF] 18:53 [INFO] GreyCat Link to 116 for the more generalized problem.
[DIFF] 18:35 [INFO] geirha The joy of namespaces
[DIFF] 20:36 [INFO] geirha Removing comment (which doesn't show up in the actual page anyway) that adds an oddity in the pdf
[DIFF] 19:49 [INFO] GreyCat Touch up pitfall 1. Add globstar example.


marks older pages that have at least one backup version stored (click for an author diff)


marks pages edited since you set your bookmark (click for a bookmark diff)


marks pages created since you set your bookmark, and were not edited after creation


marks page deletions


marks page renames


An editing conflict happened, please resolve it by merging both versions of the problematic paragraphs together.