diff options
| author | Emilio Jesus Gallego Arias | 2020-02-24 13:43:16 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-24 13:43:16 -0500 |
| commit | 747936a9d9a7402f537e1e1a857c7591d8e88d2a (patch) | |
| tree | b8ac1020675d3252c0feb606056c5ef7ce037617 /plugins/syntax/float_syntax.ml | |
| parent | da984ceafbb450dc5a9fe8f8971d8c90a060f233 (diff) | |
[ci] Fix Coquelicot build
New versions did remove the autogen.sh script in favor of plain
`autoreconf`
Note that the Coquelicot build documentation seems incorrect.
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions