diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2026-02-21 13:18:46 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2026-02-21 13:18:46 -0300 |
| commit | efabd5127db94aefb9623c8ba040192e91397649 (patch) | |
| tree | 3ee0094882a3301ff3cb64ea1f3e4ca0525f04fa | |
| parent | 88d9a40c5702e7ca368cdd1fc5783b32363ee58f (diff) | |
| download | keyringer-efabd5127db94aefb9623c8ba040192e91397649.tar.gz keyringer-efabd5127db94aefb9623c8ba040192e91397649.tar.bz2 | |
| -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: |