658ffea8ee · some pylint fixes (addresses #24) · Updated 15 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?