diff options
| author | Chimrod <> | 2023-10-06 08:35:56 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-06 08:35:56 +0200 |
| commit | 97ab5c9a21166f0bffee482210d69877fd6809fa (patch) | |
| tree | d1fa44000fa07631edc8924a90020f2cfe637263 /syntax/dune | |
| parent | 40f4dbe7844725e0ab07f03f25c35f55b4699b46 (diff) | |
Moved qparser and syntax in the library folder
Diffstat (limited to 'syntax/dune')
| -rw-r--r-- | syntax/dune | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/syntax/dune b/syntax/dune deleted file mode 100644 index 666273f..0000000 --- a/syntax/dune +++ /dev/null @@ -1,6 +0,0 @@ -(library - (name qsp_syntax) - - (preprocess (pps - ppx_deriving.show ppx_deriving.enum - ppx_deriving.eq ))) |