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

[RSS]

2018-05-10
[DIFF] 19:13 Info tuliom Add a section listing BuildBot maintainers
2018-05-09
[DIFF] 03:48 Info CarlosODonell
2018-05-08
[DIFF] 15:03 Info CarlosODonell
2018-05-07
[DIFF] 13:24 Info MarkWielaard [1-2] #01 Remove @
#02 Create a minimal homepage
[DIFF] 02:44 Info CarlosODonell [1-2] #02 Add notes and link to GNU project maintainers.
2018-04-27
[DIFF] 19:43 Info JosephMyers Remove tilegx.
[DIFF] 19:42 Info JosephMyers Remove tilegx.
[DIFF] 19:41 Info JosephMyers Remove tile.
[DIFF] 19:40 Info JosephMyers Remove tilegx.
2018-03-22
[DIFF] 15:30 Info CarlosODonell
2018-03-12
[DIFF] 20:28 Info CarlosODonell [1-3] #03 Explain when a thread might switch arenas.

[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.