summaryrefslogtreecommitdiff
path: root/profiles
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2017-06-23 16:52:32 +0200
committerKarel Kočí <cynerd@email.cz>2017-06-23 16:52:32 +0200
commit6c09d34ecd96d33ca176ffce997f47b1b08e8b15 (patch)
tree34fc923701e7bb0b01be354eefa5fa522b1350b4 /profiles
parent4f258bb12f0af868f3ef7da6c16e676a58340eb9 (diff)
parent4eaaece69bdd26229e2c4b7e8c1985535edef0c3 (diff)
downloadgentoo-personal-overlay-6c09d34ecd96d33ca176ffce997f47b1b08e8b15.tar.gz
gentoo-personal-overlay-6c09d34ecd96d33ca176ffce997f47b1b08e8b15.tar.bz2
gentoo-personal-overlay-6c09d34ecd96d33ca176ffce997f47b1b08e8b15.zip
Merge branch 'master' of cynerd.cz:gentoo-personal-overlay
Diffstat (limited to 'profiles')
-rw-r--r--profiles/cynerd-laptop/parent1
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/cynerd-laptop/parent b/profiles/cynerd-laptop/parent
index 7a68153..a9a880b 100644
--- a/profiles/cynerd-laptop/parent
+++ b/profiles/cynerd-laptop/parent
@@ -3,4 +3,5 @@
../laptop
../qemu
../devel
+../latex
../steam