diff options
| author | Théo Zimmermann | 2020-04-21 16:39:15 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-21 17:00:12 +0200 |
| commit | ff9a3c625766a3069b7ffcbeb5592050838c8222 (patch) | |
| tree | 023c8a0266dee09d01ade35ff24666394e270bd8 /doc/plugin_tutorial/Makefile | |
| parent | acefe58cd39c9a4efee632f7f92f56fb4d5285bb (diff) | |
Remove everything in the Tactics chapter up-to function induction and a bit beyond.
Diffstat (limited to 'doc/plugin_tutorial/Makefile')
0 files changed, 0 insertions, 0 deletions