| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-10-25 | Added missing copyright/license notice | Jaakko Keränen |
| 2020-10-20 | Added quote indicator preference | Jaakko Keränen |
| 2020-10-11 | Remember which Preferences tab is open | Jaakko Keränen |
| 2020-10-11 | Added a preference for heading font | Jaakko Keränen |
| 2020-09-26 | Preferences: Added side icon, hover outline | Jaakko Keränen |
| 2020-09-25 | Document side elements; hover outline | Jaakko Keränen |
| 2020-09-21 | Added Prefs; placeholders for new options | Jaakko Keränen |
 |
index : lagrange.git | |
| summaryrefslogtreecommitdiff |