summaryrefslogtreecommitdiff
path: root/.mumi
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-16 17:25:07 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-18 18:18:48 +0200
commit2736be1a577b5d6b59590ace4ead07cba6bf19fa (patch)
treec2763b5e403db6a9083299a6e32dc55c62e2ea2d /.mumi
parentb29fd45b6a4bacbfe3c0509af30c665343610910 (diff)
gnu: Add texlive-texdef.
* gnu/packages/tex.scm (texlive-texdef): New variable.
Diffstat (limited to '.mumi')
0 files changed, 0 insertions, 0 deletions