From 5e1dee9e97c4c1e87d6addecda9457f9e21ace23 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Thu, 16 Nov 2017 17:32:08 +0100 Subject: [PATCH] Move `error_monad.org` into `docs/` --- error_monad.org => docs/error_monad.org | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename error_monad.org => docs/error_monad.org (100%) diff --git a/error_monad.org b/docs/error_monad.org similarity index 100% rename from error_monad.org rename to docs/error_monad.org