diff options
| author | Michael Soegtrop | 2019-07-17 17:03:46 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2019-07-17 17:11:41 +0200 |
| commit | d796a830f9b566f2a18bf00f364eb9b8cb235f6e (patch) | |
| tree | 65be2bc6e32dae08dc80985419b1634a51710ef8 /doc/plugin_tutorial/tuto3/_CoqProject | |
| parent | 72d93ff7ea837b2d70dfff0ef3fe90749609e1be (diff) | |
Make windows build fail immediately if plugin patches fail
Diffstat (limited to 'doc/plugin_tutorial/tuto3/_CoqProject')
0 files changed, 0 insertions, 0 deletions