Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2019-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2019-05-13 | data/fonts: fonts made with fontforge are not fixed-output | volth | 1 | -7/+2 |
2017-09-26 | fonts/monoid: disable parallel build (some random fonts are missing) | volth | 1 | -4/+2 |
2017-09-18 | data/fonts: make derivations fixed-outputs (group of fontforge compiled fonts) | Volth | 1 | -0/+4 |
2017-06-28 | monoid: init at 2016-07-21 | romildo | 1 | -0/+41 |