-disable set

git-svn-id: https://gnunet.org/svn/gnunet@31717 140774ce-b5e7-0310-ab8b-a85725594a96
-ignores

git-svn-id: https://gnunet.org/svn/gnunet@31718 140774ce-b5e7-0310-ab8b-a85725594a96
-fix

git-svn-id: https://gnunet.org/svn/gnunet@31719 140774ce-b5e7-0310-ab8b-a85725594a96