Skip to content

GitLab

Merged
Opened by Michael Sammler@msammlerMaintainer2 of 2 tasks completed2/2 tasks

Added select and select_revert tactics

As discussed with @robbertkrebbers open points:

  • Names of the tactics (What are the names in Mtac? @janno )
  • Changelog entry?
Edited by Michael Sammler