Originally at 2015-01-21T14:54:42Z by Hannes Hirzel closed at 2015-02-22T02:11:32Z
Suggestion by Bert Freudenberg on the ML.
The branch used in this repository is the gh-pages branch.
The master branch has not been updated for a long time.
Having the master branch around is not necessary.
Choose default branch
Delete master branch
Originally at 2015-01-21T14:54:42Z by Hannes Hirzel closed at 2015-02-22T02:11:32Z
Suggestion by Bert Freudenberg on the ML.
The branch used in this repository is the gh-pages branch.
The master branch has not been updated for a long time.
Having the master branch around is not necessary.
## Choose default branch

## Delete master branch

Originally at 2015-01-21T14:54:42Z by Hannes Hirzel closed at 2015-02-22T02:11:32Z
Suggestion by Bert Freudenberg on the ML.
The branch used in this repository is the gh-pages branch. The master branch has not been updated for a long time. Having the master branch around is not necessary.
Choose default branch
Delete master branch