a681b52517 · rename the config for it to be coherent with the script itself, add the license text and some comment fixes · Updated 7 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?