diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2022-01-10 12:40:18 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2022-01-10 12:46:47 +0100 |
commit | 18bd4d12d70bae24b5a2f60bbb97cf1562f12a2c (patch) | |
tree | c8128208dbaec125fe7545702ca1f3d649c8b4da /.gitattributes | |
parent | d689ca6f0d868f05d568ded3eb70759a5a266d92 (diff) | |
download | guix-patches-18bd4d12d70bae24b5a2f60bbb97cf1562f12a2c.tar guix-patches-18bd4d12d70bae24b5a2f60bbb97cf1562f12a2c.tar.gz |
import: texlive: Remove more specific entries with the same prefix.
* guix/import/texlive.scm (files->directories): Ensure that any more specific
directory is removed if a parent directory is in the list of provided
locations.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions