diff options
| author | Emilio Jesus Gallego Arias | 2018-09-07 16:00:46 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-09-07 16:05:39 +0200 |
| commit | 9a41bd87a3d44ca37f06e1414b11ab1c829dfc90 (patch) | |
| tree | 67e1318fef85582409d47f3d439f55af4891e5f5 /plugins/btauto | |
| parent | 2139ee422754f4c3e039f7d3e3316fea47123b5c (diff) | |
[dune] Fix build of coq_dune in 4.02.3
Fixes #8431
Diffstat (limited to 'plugins/btauto')
0 files changed, 0 insertions, 0 deletions