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