diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-16 12:59:24 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-24 09:46:49 +0200 |
| commit | 0901f1b04263db840d51010e032516237cf6ec2d (patch) | |
| tree | ec0d8f690adac86e49be25c4bc377947744d3700 /.gitignore | |
| parent | 6a4fe83b5edb26df45c1fb6bf66ebcf1e680f48c (diff) | |
| download | patches-0901f1b04263db840d51010e032516237cf6ec2d.tar patches-0901f1b04263db840d51010e032516237cf6ec2d.tar.gz | |
gnu: Add texlive-txfonts.
* gnu/packages/tex.scm (texlive-txfonts): New variable.
(texlive-fonts-txfonts): Deprecate package.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions