diff options
| author | Alasdair Armstrong | 2020-08-24 16:17:54 +0100 |
|---|---|---|
| committer | GitHub | 2020-08-24 16:17:54 +0100 |
| commit | 115d8e891c89db82f451f02458ce408706fee8a9 (patch) | |
| tree | 372dbd51a4f32692a9eb4b226bdf640dd0565b6a /src/parser_combinators.ml | |
| parent | ef49ed946b68d7292e04f8338aa9cb94b3d6d436 (diff) | |
| parent | b7b561343dbc4d8661b8619d25f105b3c0d16245 (diff) | |
Merge pull request #83 from julienfreche/configure_get_set
c2: make the global state API configurable for externally defined get/set functions
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions