b1a80a8739 · OBS-URL: https://build.opensuse.org/package/show/science/fricas?expand=0&rev=14 · Updated 2025-06-07 03:05:47 +02: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?