diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-02-28 16:39:26 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-01 13:19:44 +0100 |
| commit | 7e0eeba3e91cd5da029aaa6b9c86f7a13f505b88 (patch) | |
| tree | 897c6504f78892b493cc4cf76593bd0417cdc549 /tools/CoqMakefile.in | |
| parent | 195c03f798141dc816e97def7275bbdd1aa623a2 (diff) | |
Add source (project file / command line) to project fields.
Diffstat (limited to 'tools/CoqMakefile.in')
0 files changed, 0 insertions, 0 deletions