diff options
| author | Gaëtan Gilbert | 2020-05-10 21:39:00 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-17 13:22:09 +0200 |
| commit | 7da245bd2db7496628645a43965e5df966234fd5 (patch) | |
| tree | 18401628f36c56ac72ab7529232e014cd52c55de /dev/ci/docker | |
| parent | 4c69c4a870f5ef340536798dcdf1025e61a375f9 (diff) | |
Revert "[test] unit tests for ide/coq_lex.ml" + makefile support
This reverts commits 71ea3ca8b4d3a6fa6b005e48ff7586176b06259e and
0976a670cf853c9bc61b3eee6dceae4a429e066f.
Diffstat (limited to 'dev/ci/docker')
0 files changed, 0 insertions, 0 deletions