diff options
| author | Pierre Letouzey | 2016-06-06 13:35:30 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-07 16:16:46 +0200 |
| commit | c3698ed4271658fc2edde3870394b3403d7489c9 (patch) | |
| tree | 8bc3c289b4709efbdeaa03d8156b2c76bfe7700b /dev | |
| parent | 1826cf003fe564d751e8376cad69be6b59714596 (diff) | |
Coq_makefile: code cleanup (less long lines, etc)
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions