9a89e2a3db · Merge branch 'master' of github.com:Jaxan/bachelor_thesis · Updated 12 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?