3497058b95 · Initial git commit of OS makefiles (after some time in fossil) with an attempt at using git submodules, but not buildable yet (will be using old paths in the Makefiles and in some submodules). · Updated 2025-06-08 13:50:13 +00:00
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?