diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-14 23:05:48 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-24 09:46:48 +0200 |
| commit | 6090b6c47423e54b7929d267f431969c515255e7 (patch) | |
| tree | e0c5dc83628334d03da219e544f7bf9b5b15b9c4 /.dir-locals.el | |
| parent | 1333198da836b5423a903fc618b0c512c859486c (diff) | |
| download | guix-6090b6c47423e54b7929d267f431969c515255e7.tar.gz | |
gnu: Add texlive-pstool.
* gnu/packages/tex.scm (texlive-pstool): New variable. (texlive-latex-pstool): Deprecate package.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions