Skip to content

Create and document menu for deleting a strategy in normal forms.#925

Merged
tturocy merged 1 commit into
masterfrom
issue_855
Jun 5, 2026
Merged

Create and document menu for deleting a strategy in normal forms.#925
tturocy merged 1 commit into
masterfrom
issue_855

Create and document menu for deleting a strategy in normal forms.

45fb0ad
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
windows (3.14)
succeeded Jun 5, 2026 in 8m 10s