diff options
Diffstat (limited to 'docs/developer-guide.txt')
| -rw-r--r-- | docs/developer-guide.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/developer-guide.txt b/docs/developer-guide.txt index c82adbb9..7cd3c6d2 100644 --- a/docs/developer-guide.txt +++ b/docs/developer-guide.txt @@ -69,7 +69,7 @@ If you want to contribute changes, we recommend you fork the repository on Github, commit the changes to your repository, and then make a pull request on Github. If you make some changes, don't forget to: -- add a note in CHANGES.txt +- add a note in CHANGES.rst Please commit all changes in the 'master' branch against the latest available commit or for bug-fixes, against an earlier commit or release in which the |