From 25d9f1c1ef241c6a98da7c9c71d74eb95827fb3f Mon Sep 17 00:00:00 2001 From: pancho horrillo Date: Wed, 20 Nov 2019 16:16:32 +0100 Subject: [PATCH] Delete placeholder --- docs/source/theory/index.rst | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 docs/source/theory/index.rst diff --git a/docs/source/theory/index.rst b/docs/source/theory/index.rst deleted file mode 100644 index e69de29..0000000