diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2022-06-17 10:37:28 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-06-17 15:31:33 +0200 |
| commit | 37d5bd0b3158a8cb2995d340172c8105b9065885 (patch) | |
| tree | f27aebe9f4e87826da24b475cdf4a29154f2e9dc /gnu/packages/wdiff.scm | |
| parent | df5e07c16d2d4e72423f0e8c6b5b53c7020bc77a (diff) | |
gnu: Add texlive-inriafonts.
* gnu/packages/tex.scm (texlive-inriafonts): New variable.
Diffstat (limited to 'gnu/packages/wdiff.scm')
0 files changed, 0 insertions, 0 deletions