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

[RSS]

2018-04-25
[DIFF] 12:42 Info JendrikSeipp [1]
JendrikSeipp [2]
[DIFF] 12:42 Info JendrikSeipp
[DIFF] 12:39 Info JendrikSeipp
2018-04-15
[DIFF] 08:02 Info XmlRpcBot
2018-04-13
[DIFF] 15:00 Info JendrikSeipp
2018-04-10
[DIFF] 20:47 Info FlorianPommerening add issue774
2018-03-18
[DIFF] 15:20 Info XmlRpcBot
2018-03-15
[DELETED] 11:25 Info SilvanSievers No longer generated by Fast Downward
[DIFF] 11:21 Info XmlRpcBot
[DIFF] 11:21 Info XmlRpcBot [1-2]
[DIFF] 11:07 Info XmlRpcBot [1-3]
2018-02-13
[DIFF] 14:40 Info SilvanSievers Polish OptionCaveats

[DIFF]

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

[UPDATED]

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

[NEW]

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

[DELETED]

marks page deletions

[RENAMED]

marks page renames

[CONFLICT]

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