Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename plugins to include a -Plugin suffix | Jakob Odersky | 2018-08-02 | 1 | -97/+0 |
* | Formatting | Jakob Odersky | 2018-07-03 | 1 | -2/+3 |
* | Improve reporting of fatal warnings | Jakob Odersky | 2018-07-02 | 1 | -13/+27 |
* | Refactor settings to use autoplugins (#4) | Jakob Odersky | 2018-06-29 | 1 | -0/+82 |