diff options
| author | Hugo Herbelin | 2018-10-22 22:37:00 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-10-23 10:43:19 +0200 |
| commit | 62e8f2373e22a30a1ecf31efd6c7b6da5c7d5d56 (patch) | |
| tree | 5bc7d2d023f23de7f12cbeb7fc33ebe6c77af328 /plugins/syntax/plugin_base.dune | |
| parent | 51caaa2b928e9a91906439f1491b78df9da27760 (diff) | |
Encapsulating declarations of primitive string syntax in a module.
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions