diff options
author | Guido Günther <agx@sigxcpu.org> | 2014-01-24 07:40:08 +0100 |
---|---|---|
committer | Guido Günther <agx@sigxcpu.org> | 2014-01-24 07:41:33 +0100 |
commit | f190fa710c43de6f94c1292fa32f79c99108fd1b (patch) | |
tree | e540208d4c79b08fe320ad43705a69a1e5756041 /development | |
parent | bf62be9e02a6f08814b2737353350016c97ad7ef (diff) |
Fix headlines
Diffstat (limited to 'development')
-rw-r--r-- | development/gerrit.mdwn | 2 |
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: |