diff options
| author | Nadrieril | 2019-03-20 21:42:32 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-20 21:42:32 +0100 |
| commit | 775b26ee3e6dba4173d71ab5c15a0f11aceeef69 (patch) | |
| tree | ca6643fa206f4b2f483aa034e7d11bdaef4399ba /dhall_parser/.gitignore | |
| parent | 193b8956ba2b8373ffbd34046ae57e42eca82387 (diff) | |
Allow patterns in parser macros
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions