Closed pattacini closed 7 years ago
Branches that have been merged in the mainstream are no longer necessary: please delete them.
Further, update the gh-pages branch.
gh-pages
I've deleted branch devel and feature.
devel
feature
Branches that have been merged in the mainstream are no longer necessary: please delete them.
Further, update the
gh-pages
branch.