rename todo/Olea.mdwn to users/Olea.mdwn

diff --git a/doc/todo/Olea.mdwn b/doc/todo/Olea.mdwn
deleted file mode 100644 (file)
index 1db2a7c..0000000
--- a/doc/todo/Olea.mdwn
+++ /dev/null
@@ -1,4 +0,0 @@
-[[!meta title="Ismael Olea"]]
-
-Ismael Olea is <a href="mailto:ismael@olea.org">ismael@olea.org</a>. 
-His web page is [here](http://olea.org/diario/).

diff --git a/doc/users/Olea.mdwn b/doc/users/Olea.mdwn
new file mode 100644 (file)
index 0000000..1db2a7c
--- /dev/null
+++ b/doc/users/Olea.mdwn
@@ -0,0 +1,4 @@
+[[!meta title="Ismael Olea"]]
+
+Ismael Olea is <a href="mailto:ismael@olea.org">ismael@olea.org</a>. 
+His web page is [here](http://olea.org/diario/).