From ccf5cf76644917f2e7ce92753dd9caa02db2a67c Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@cs.fau.de>
Date: Mon, 12 Oct 2015 17:46:55 +0200
Subject: [PATCH] move doc/ out of the way

---
 {doc => old-doc}/TODO.org  | 0
 {doc => old-doc}/ideas.org | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename {doc => old-doc}/TODO.org (100%)
 rename {doc => old-doc}/ideas.org (100%)

diff --git a/doc/TODO.org b/old-doc/TODO.org
similarity index 100%
rename from doc/TODO.org
rename to old-doc/TODO.org
diff --git a/doc/ideas.org b/old-doc/ideas.org
similarity index 100%
rename from doc/ideas.org
rename to old-doc/ideas.org
-- 
2.39.2