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