diff options
| author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-09-18 15:07:27 +0100 |
|---|---|---|
| committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-09-18 15:10:13 +0100 |
| commit | 389b71aa0f756608236565067f2f77ee1f9390da (patch) | |
| tree | 14f93961a1db7b94a397be83ff117e6f027891dd /gnu/packages/patches/java-antlr4-Add-standalone-generator.patch | |
| parent | 62f9921c830129ff9f484472a078cf0a35e526dc (diff) | |
gnu: Add texlive-microtype.
* gnu/packages/tex.scm (texlive-microtype): New variable.
Diffstat (limited to 'gnu/packages/patches/java-antlr4-Add-standalone-generator.patch')
0 files changed, 0 insertions, 0 deletions