diff options
Diffstat (limited to 'development.md')
| -rw-r--r-- | development.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/development.md b/development.md index 6d6bdb86..02b513cc 100644 --- a/development.md +++ b/development.md @@ -267,3 +267,6 @@ git remote set-url --push upstream no_push ``` hack/run-gendocs.sh ``` + + +[]() |