diff options
| author | Vincent Laporte | 2019-10-28 13:55:35 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-31 14:10:58 +0000 |
| commit | fcebe5a64bb253862e52503b7d4dd6c4c1aebcdf (patch) | |
| tree | bafa6155d964be6996a2b265a3cdd17ecd0ed41f /plugins/syntax/plugin_base.dune | |
| parent | 9151bddfc935a706c6e21516996bcee9cbdbd71d (diff) | |
QArith: only depend on ZArith_base
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions