diff options
author | Karel Kočí <karel.koci@nic.cz> | 2017-11-06 07:41:52 +0100 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2017-11-06 07:41:52 +0100 |
commit | 8c7d48acb69fcef59a62217942b9fe77f8a4e3eb (patch) | |
tree | 0845bec689bf0585220100c78fd1c6fd2dfd27fc /profiles/devel/packages | |
parent | 8f89a7d3f5c51aeca1a1b2c1b0516b48cf2bdc85 (diff) | |
download | gentoo-personal-overlay-8c7d48acb69fcef59a62217942b9fe77f8a4e3eb.tar.gz gentoo-personal-overlay-8c7d48acb69fcef59a62217942b9fe77f8a4e3eb.tar.bz2 gentoo-personal-overlay-8c7d48acb69fcef59a62217942b9fe77f8a4e3eb.zip |
Drop docker
I am not using it anyway.
Diffstat (limited to 'profiles/devel/packages')
-rw-r--r-- | profiles/devel/packages | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/devel/packages b/profiles/devel/packages index b394aba..ee85e92 100644 --- a/profiles/devel/packages +++ b/profiles/devel/packages @@ -21,7 +21,6 @@ dev-lang/lua # App emulation app-emulation/lxc -app-emulation/docker # Qt dev-qt/qt-creator |