diff options
| author | Gaëtan Gilbert | 2019-04-30 21:48:34 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-04-30 21:48:34 +0200 |
| commit | d9a975352e5982602d3315facfa005ea40b16bcb (patch) | |
| tree | beec69a450d155a170149c8fa106afd8cde92ce1 /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | 823bde2eaffbacdb7a3a08c9d7274cd84dc5bef5 (diff) | |
Remove leftover test suite file Quote.out
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions