diff options
| author | Jason Gross | 2020-04-08 11:08:30 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-04-08 11:08:30 -0400 |
| commit | f06d96687e26d3e491de0a234e889e901b32e1ca (patch) | |
| tree | 13d2f37d57b4e875e6f5e65514d8cdd563c1c497 /doc/plugin_tutorial/tuto0/src | |
| parent | b26d1f477990d88e235ffda0f23f494456ce5862 (diff) | |
Fix a typo in CoqMakefile.in
Diffstat (limited to 'doc/plugin_tutorial/tuto0/src')
0 files changed, 0 insertions, 0 deletions