summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBobHam <BobHam@web>2013-09-29 15:54:56 +0200
committerGNU Hurd web pages engine <web-hurd@gnu.org>2013-09-29 15:54:56 +0200
commit606b5801f725b4fc6cab1ec0342a9298a8e92a9d (patch)
tree3f2f996a810866813cf383d4444c0d66b42812c6
parentb6e8513dc624ee96954e1fa4493cdb497f54b865 (diff)
rename x15.mdwn to microkernel/x15.mdwn
-rw-r--r--microkernel/x15.mdwn (renamed from x15.mdwn)0
1 files changed, 0 insertions, 0 deletions
diff --git a/x15.mdwn b/microkernel/x15.mdwn
index 123c2cd4..123c2cd4 100644
--- a/x15.mdwn
+++ b/microkernel/x15.mdwn