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


[DIFF] 15:03 Info JanKratochvil todo->done: PR16405: backtrace takes GBs and minutes with dwz -m
[DIFF] 21:57 Info SergioDuriganJr Adding gnat
[DIFF] 21:12 Info SimonMarchi
[DIFF] 19:37 Info DougEvans
[DIFF] 21:01 Info SergioDuriganJr Adding official BuildBot
[DIFF] 10:55 Info brobecke PR 17716 excluded from 7.8.2 (fairly limited in impact, and easy to work around)
[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.


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.

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