ddb905351a · switch from waf to rscons · Updated 2019-12-02 20:54:06 -05:00
bec2e913c0 · Update rscons · Updated 2025-04-14 20:12:38 -04:00 josh
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
