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


[DIFF] 19:13 Info tuliom Add a section listing BuildBot maintainers
[DIFF] 03:48 Info CarlosODonell
[DIFF] 15:03 Info CarlosODonell
[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.
[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.
[DIFF] 15:30 Info CarlosODonell
[DIFF] 20:28 Info CarlosODonell [1-3] #03 Explain when a thread might switch arenas.


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.