diff options
| -rw-r--r-- | development.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/development.md b/development.md index da74b5a..46bc9f1 100644 --- a/development.md +++ b/development.md @@ -45,6 +45,7 @@ If there are repository mirrors, ensure to push changes there as well. Example: git push all git push all --tags + git fetch --all Build the package from the debian Git branch: |