diff options
| author | Jason Gross | 2017-06-28 12:20:47 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-06-30 13:17:43 -0400 |
| commit | 05db464aefe90ff69ea69d5ce7c4775c6a7f218f (patch) | |
| tree | 9cd099b80bb2ff48f4e7b39ed4abcb4d39f3aac0 /kernel | |
| parent | e7bc719df55907b00b04f9fa2d45dba2da838360 (diff) | |
Create a variable for CAMLDOC in CoqMakefile.in
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions