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