diff options
| author | Pierre-Marie Pédrot | 2018-10-18 13:40:28 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-19 16:19:45 +0200 |
| commit | 3f6eebb9cfeda531d1f71e2ea0fa2d5afa9c28fc (patch) | |
| tree | e714c433208c071b17838f911d74a328b72c636c /lib/spawn.mli | |
| parent | 3799939088b5aa616974a0d37de7e2616024f222 (diff) | |
Adapt coq_makefile to handle coqpp-based macro files.
Diffstat (limited to 'lib/spawn.mli')
0 files changed, 0 insertions, 0 deletions