From 5963c0970b55f878c6f4296662d494a29a6f66b5 Mon Sep 17 00:00:00 2001 From: Julien Lavergne Date: Fri, 8 Apr 2016 11:58:26 +0200 Subject: [PATCH] Move DOCS to tools directory, so it's not installed in /usr/share/icons --- {src/usr/share/icons => tools}/DOCS | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {src/usr/share/icons => tools}/DOCS (100%) diff --git a/src/usr/share/icons/DOCS b/tools/DOCS similarity index 100% rename from src/usr/share/icons/DOCS rename to tools/DOCS