Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-08-22 | Implement input for the maweb backend (with a few limitations) | cbdev | 1 | -14/+22 |
2019-08-17 | Hopefully clarify text a bit | cbdev | 1 | -1/+1 |
2019-08-16 | Implement dot2 specific workarounds | cbdev | 1 | -8/+27 |
2019-08-15 | Fix CI, add dot2 detection to maweb | cbdev | 1 | -68/+13 |
2019-08-12 | Placate spellintian... | cbdev | 1 | -1/+1 |
2019-08-12 | Fix maweb button execs | cbdev | 1 | -2/+4 |
2019-08-11 | Minor text fix | cbdev | 1 | -2/+2 |
2019-08-11 | Initial maweb backend | cbdev | 1 | -0/+142 |