Merge branch 'master' into gui
Merge branch 'gui' of github.com:schauder/degraph into gui
Merge branch 'gui' of git://github.com/KroneckerDelta/degraph into gui
Merge branch 'gui' of https://github.com/schauder/degraph.git into gui