diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2020-06-20 15:40:09 +0200 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2020-06-20 15:42:22 +0200 |
| commit | dc632e59d2d7044256085dfa4d18890e609eb26b (patch) | |
| tree | 5a236fd5a30514d0a989066b9e8abd059856110e /www-servers | |
| parent | app-text/texlive: Remove old. (diff) | |
| download | gentoo-dc632e59d2d7044256085dfa4d18890e609eb26b.tar.gz gentoo-dc632e59d2d7044256085dfa4d18890e609eb26b.tar.bz2 gentoo-dc632e59d2d7044256085dfa4d18890e609eb26b.zip | |
profiles: Mask dev-tex/feynmf for removal.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'www-servers')
0 files changed, 0 insertions, 0 deletions