diff options
| author | Aleksey Kladov <[email protected]> | 2020-04-11 22:33:17 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-04-11 23:00:15 +0100 |
| commit | 5e5eb6a108b00c573455d8d088742592012707be (patch) | |
| tree | 49146b7e25835f21c09f75ec56e129367f56cab0 /.github/actions/github-release/Dockerfile | |
| parent | 6b49e774e23c04a04ff5f377fc8dae25b5c69bb0 (diff) | |
Align grammar for record patterns and literals
The grammar now looks like this
[name_ref :] pat
Diffstat (limited to '.github/actions/github-release/Dockerfile')
0 files changed, 0 insertions, 0 deletions