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


[DIFF] 95m ago [INFO] EmanueleTorre an -> a
[DIFF] 16:52 [INFO] EmanueleTorre use -- with printf where the format is a variable
[DIFF] 16:41 [INFO] EmanueleTorre GNU sed also accepts -E
[DIFF] 05:30 [INFO] ormaaj Tidy
[DIFF] 09:48 [INFO] ormaaj [1-7] #01 Attachment '; ls' deleted.
#02 Upload of attachment '; ls'.
#03 Attachment '_5f' deleted.
#04 Upload of attachment '_5f'.
#05 Attachment '_' deleted.
#06 Upload of attachment '_'.
[DIFF] 01:20 [INFO] GreyCat markup/formatting
[DIFF] 00:41 [INFO] EmanueleTorre since ${///} is bash specific, let's use local
[DIFF] 14:08 [INFO] GreyCat add a few details and links
[DIFF] 20:32 [INFO] GreyCat (declare -i also does it)
[DIFF] 06:31 [INFO] geirha replacing echo with printf
[DIFF] 19:58 [INFO] GreyCat


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.