Closed eudoxia0 closed 9 years ago
Since most of the branches have been merged or are stale, it would probably be good to delete them so only the master and gh-pages branches remain.
master
gh-pages
All branches except master were deleted now. (gh-pages in this repo isn't used currently)
Note the dotted-systems branch is still there.
dotted-systems
Since most of the branches have been merged or are stale, it would probably be good to delete them so only the
master
andgh-pages
branches remain.