diff options
| author | Gaëtan Gilbert | 2018-09-17 11:14:18 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-19 17:02:45 +0100 |
| commit | 0a25e351d6a2d25e5d82b165843a09a2804fadc6 (patch) | |
| tree | 1f0817b904f92b8a69b4d2d91d624cab5734a818 /doc/plugin_tutorial/tuto3/_CoqProject | |
| parent | a616310f3896091982518772f59b9f9a8540e1d2 (diff) | |
Add CHANGES for auto-template warning.
Diffstat (limited to 'doc/plugin_tutorial/tuto3/_CoqProject')
0 files changed, 0 insertions, 0 deletions