Age | Commit message (Expand) | Author |
---|---|---|
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 |
Age | Commit message (Expand) | Author |
---|---|---|
2020-09-25 | Document side elements; hover outline | Jaakko Keränen |
2020-09-21 | Added Prefs; placeholders for new options | Jaakko Keränen |