| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2021-03-15 | Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]` | Camelid | -36/+0 | |
| "spotlight" is not a very specific or self-explaining name. Additionally, the dialog that it triggers is called "Notable traits". So, "notable trait" is a better name. * Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]` * Rename `#![feature(doc_spotlight)]` to `#![feature(doc_notable_trait)]` * Update documentation * Improve documentation | ||||
| 2020-07-16 | Revert "Remove "important traits" feature" | Manish Goregaokar | -0/+36 | |
| This reverts commit 1244ced9580b942926afc06815e0691cf3f4a846. | ||||
| 2020-02-27 | Remove "important traits" feature | Guillaume Gomez | -36/+0 | |
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 | |
| 2017-11-18 | Add tooltip for important traits display | Guillaume Gomez | -4/+4 | |
| 2017-11-17 | add doc_highlight feature flag and tests | QuietMisdreavus | -0/+46 | |
