--- a/etc/sets/devtools	Thu Jul 17 17:23:31 2014 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-app-editors/vim
-app-editors/gvim
-
-dev-java/icedtea
-dev-java/ant
-dev-util/android-sdk-update-manager
-dev-util/checkstyle
-dev-util/meld
-dev-util/valgrind
-dev-vcs/git
-dev-vcs/hg-git
-dev-vcs/mercurial