diff options
| author | Théo Zimmermann | 2020-06-10 18:28:35 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-10 19:21:03 +0200 |
| commit | 89d65078a1a35558a9e5f934ef6074d8671db811 (patch) | |
| tree | 203124827d790f1dbc0f07093af5708eedc52599 /plugins/syntax/float_syntax.ml | |
| parent | 95be052f60b1b6b4cc0b12e92b3d1b86b5bd7ca9 (diff) | |
[dev/ci/nix] Support for building the Gappa plugin.
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions