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