diff options
| author | Pierre-Marie Pédrot | 2020-08-29 18:25:54 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-08-31 10:21:35 +0200 |
| commit | bb09af9e9cfa32f89cb5538a6e51af5dae6cc467 (patch) | |
| tree | 6bfae708f5448adfac66f7cfa8c3cc6070e9cae1 /dev/include_dune | |
| parent | 9c9bf136430213eacec8e32ad4909cf501141a48 (diff) | |
Move elim-specific code from Tacticals to Elim.
No reason to have them there.
Diffstat (limited to 'dev/include_dune')
0 files changed, 0 insertions, 0 deletions