myconfig

commit e3057a5d4a5d4a8d0ba6b68b47104cb071558202
parent df5df51394ac84f57ed94350774a3e7c8598b97e
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 12 Jul 2017 14:36:51 +0200

Merge branch 'master' of a3nm.net:git/myconfig

Diffstat:
apt/devel
 | 
6
++++++
apt/dissemin
 | 
1
+
apt/misc
 | 
4
----

3 files changed, 7 insertions(+), 4 deletions(-)
diff --git a/apt/devel b/apt/devel
@@ -2,3 +2,9 @@
 javacc
 valgrind
 ltrace
+g++
+gdb
+cppreference-doc-en-html
+libstdc++-5-doc
+openjdk-9-doc
+openjdk-9-jdk
diff --git a/apt/dissemin b/apt/dissemin
@@ -5,3 +5,4 @@ python-virtualenv
 build-essential 
 libxml2-dev 
 python-dev
+vagrant
diff --git a/apt/misc b/apt/misc
@@ -17,10 +17,6 @@ exif
 expect
 exuberant-ctags
 filters
-g++
-gdb
-gddrescue
-genisoimage
 gettext
 git-annex
 gsfonts