Switch to using branches master/release instead of dev/master

pull/123/merge
Lennart Spitzner 2018-03-04 19:11:10 +01:00
parent 44af042436
commit e4dea87839
1 changed files with 0 additions and 2 deletions

View File

@ -160,8 +160,6 @@ a good amount of high-level documentation at
[the documentation index](doc/implementation/index.md) [the documentation index](doc/implementation/index.md)
Note that most development happens on the `dev` branch of this repository!
# License # License
Copyright (C) 2016-2017 Lennart Spitzner Copyright (C) 2016-2017 Lennart Spitzner