67e7bb707b · Merge branch 'master' of https://git.afach.de/samerafach/Polymath · Updated 6 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?