diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-09-16 18:19:50 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-09-16 18:19:50 +0200 |
| commit | 498cbad3e5e5d69d2ee771f90de45c0fe28cc494 (patch) | |
| tree | d4c3f8071405f9e16c639f8492f292297fdd653c /tactics/tactics.ml | |
| parent | 206cecb06a959dae0ccdeeb0a5d26121b4e1b961 (diff) | |
Explain new flags for native_compute in CHANGES.
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions