Self

With “Add Link” you can add the current page to your list of quick links.

[RSS]

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-11
[DIFF] 18:29 Info NathanSidwell
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.