diff options
| author | coqbot-app[bot] | 2021-03-22 11:57:36 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-22 11:57:36 +0000 |
| commit | b3347fd5c3164dbe649bd819cdc0ef34b021b47a (patch) | |
| tree | 29aa7058c72c33e54c078b41af0177c917be91e8 /dev | |
| parent | dca133d15e39012ae2c7453d93987f500aa2c0fa (diff) | |
| parent | 8206965a009082abd4c19dc002effd0ddeb32a1c (diff) | |
Merge PR #13905: Inline the refold and tactic_mode flags for the cbn tactic.
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions