0396ec929d · OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=9 · Updated 2025-01-18 08:07:05 +01: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?