diff options
author | Karel Kočí <cynerd@email.cz> | 2017-05-15 16:55:45 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2017-05-15 16:59:37 +0200 |
commit | 52f4dbddf50e9ad8be1b60b05444369239deaa93 (patch) | |
tree | 4f09284da00fb0629d8ac26cd5e286a428d6adc7 /profiles/devel | |
parent | f6f1d96ea51488e2bad15e3691daadfe1bded655 (diff) | |
parent | ecd76fb121a2f332b238b9ae648f70ecd8d79116 (diff) | |
download | gentoo-personal-overlay-52f4dbddf50e9ad8be1b60b05444369239deaa93.tar.gz gentoo-personal-overlay-52f4dbddf50e9ad8be1b60b05444369239deaa93.tar.bz2 gentoo-personal-overlay-52f4dbddf50e9ad8be1b60b05444369239deaa93.zip |
Merge branch 'master' of cynerd.cz:gentoo-personal-overlay
Diffstat (limited to 'profiles/devel')
-rw-r--r-- | profiles/devel/packages | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/profiles/devel/packages b/profiles/devel/packages index 9687cff..ecaece6 100644 --- a/profiles/devel/packages +++ b/profiles/devel/packages @@ -12,3 +12,6 @@ dev-lang/lua # Rust dev-lang/rust + +# Ansible +app-admin/ansible |