diff options
| author | Jon French | 2018-05-03 15:43:20 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-03 15:43:20 +0100 |
| commit | 6fd0b4d4caf0103e383df2ad2401c4e7e614c450 (patch) | |
| tree | a36ede952e89b09ffb0ee9cd0d30ba5727a9405e /src/rewrites.mli | |
| parent | 53601042801863c2fe856563380714d2fec57f93 (diff) | |
support sub-mappings in string-append-patterns
Diffstat (limited to 'src/rewrites.mli')
0 files changed, 0 insertions, 0 deletions