Code

Improve short names for splits#976

Code

Merged

keyboardDrummer merged 1 commit intoboogie-org:masterboogie-org/boogie:masterfrom keyboardDrummer:improveSplitShortNameskeyboardDrummer/boogie:improveSplitShortNamesCopy head branch name to clipboardOct 25, 2024

+125-85

Commits

Commits on Oct 24, 2024

• Improve short names for splits

  keyboardDrummer

  committed
  3e3e1bd

  Copy full SHA for 3e3e1bd