diff options
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: |