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