diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-11-04 20:30:45 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-11-04 20:30:45 +0100 |
| commit | f10bc9c428ad2b787f393f829755338e36b2a553 (patch) | |
| tree | fb3d2c9b487ec875d9eab098600ec97e08c3f94a /profiles/cynerd-laptop/parent | |
| parent | f7768f4a137bfa4f405174a0bc92b017dfca5004 (diff) | |
| download | gentoo-personal-overlay-f10bc9c428ad2b787f393f829755338e36b2a553.tar.gz gentoo-personal-overlay-f10bc9c428ad2b787f393f829755338e36b2a553.tar.bz2 gentoo-personal-overlay-f10bc9c428ad2b787f393f829755338e36b2a553.zip | |
profiles: drop latex for now
Diffstat (limited to 'profiles/cynerd-laptop/parent')
| -rw-r--r-- | profiles/cynerd-laptop/parent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/cynerd-laptop/parent b/profiles/cynerd-laptop/parent index a67f4ce..177d77b 100644 --- a/profiles/cynerd-laptop/parent +++ b/profiles/cynerd-laptop/parent @@ -5,5 +5,5 @@ ../devel/avr ../devel/arm ../hwdevel -../latex +#../latex ../gaming |