A WikiName is a word composed of two or more words with each separate word beginning with an upper case character.

[RSS]

2015-01-24
[DIFF] 15:03 Info JanKratochvil todo->done: PR16405: backtrace takes GBs and minutes with dwz -m
2015-01-23
[DIFF] 21:57 Info SergioDuriganJr Adding gnat
2015-01-22
[DIFF] 21:12 Info SimonMarchi
2015-01-18
[DIFF] 19:37 Info DougEvans
2015-01-17
[DIFF] 21:01 Info SergioDuriganJr Adding official BuildBot
2015-01-15
[DIFF] 10:55 Info brobecke PR 17716 excluded from 7.8.2 (fairly limited in impact, and easy to work around)
2015-01-10
[DIFF] 06:55 Info brobecke Add section about git hooks.
[DIFF] 06:47 Info brobecke Renamed from 'proposed/git-hooks/ UsersGuide'. no longer a proposal :)
[DELETED] 06:43 Info brobecke No longer needed.

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

All content (C) 2008 Free Software Foundation. For terms of use, redistribution, and modification, please see the WikiLicense page.