With “Check Spelling” you can initiate a spell check.—Only add unknown words if you are absolutely sure that they are spelled correctly.

[RSS]

2018-10-21
[DIFF] 36m ago Info NathanSidwell
[DIFF] 19:09 Info ThomasKoenig
[DIFF] 18:39 Info ThomasKoenig Mention where to break on ICE.
2018-10-14
[DIFF] 00:10 Info ManuelLopezIbanez mention kernel plugins
2018-10-13
[DIFF] 23:57 Info ManuelLopezIbanez fix conflict
[DIFF] 23:56 Info ManuelLopezIbanez
2018-10-01
[DIFF] 15:32 Info JanusWeil add meta-bug for ASSOCIATE
2018-09-26
[DIFF] 14:54 Info JanusWeil update OpenMP links
2018-09-24
[DIFF] 20:54 Info BaptisteJonglez Clean up obsolete stuff
2018-09-22
[DIFF] 21:25 Info ManuelLopezIbanez add reasons for Mozilla switching to clang

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