summaryrefslogtreecommitdiff
path: root/development
diff options
context:
space:
mode:
authorGuido Günther <agx@sigxcpu.org>2014-01-24 07:40:08 +0100
committerGuido Günther <agx@sigxcpu.org>2014-01-24 07:41:33 +0100
commitf190fa710c43de6f94c1292fa32f79c99108fd1b (patch)
treee540208d4c79b08fe320ad43705a69a1e5756041 /development
parentbf62be9e02a6f08814b2737353350016c97ad7ef (diff)
Fix headlines
Diffstat (limited to 'development')
-rw-r--r--development/gerrit.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/development/gerrit.mdwn b/development/gerrit.mdwn
index 21fb198..73493dd 100644
--- a/development/gerrit.mdwn
+++ b/development/gerrit.mdwn
@@ -1,4 +1,4 @@
-= Deleting repos =
+# Deleting repos
To delete a project foo from gerrit simply move the repo out of the way on the
server: