diff options
| author | Ralf Jung | 2018-03-20 20:13:59 +0100 |
|---|---|---|
| committer | Ralf Jung | 2018-03-20 20:13:59 +0100 |
| commit | 93817b4c2b8d96d6eb990dcfaf21cf2e8f2375df (patch) | |
| tree | 8b6a84c8a29c7071e3209130de5da9dfaf0ad08a /kernel/type_errors.ml | |
| parent | 17c94dca5fe2fc19137b9cac923d51e8eb818041 (diff) | |
coq_makefile: FLAG make variables should not contain LIBS
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions