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 /guix/scripts | |
| parent | d689ca6f0d868f05d568ded3eb70759a5a266d92 (diff) | |
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 'guix/scripts')
0 files changed, 0 insertions, 0 deletions