diff options
| author | Nadrieril | 2020-01-17 18:42:13 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-17 18:42:13 +0000 |
| commit | 0f4a4801ed67826dc82015d39ce8fd05e7950035 (patch) | |
| tree | f8393bb9e8abaccc8db0e1c17ae1d1a39b88ff7b /dhall_parser/src | |
| parent | ab672506fd45e33f60b1b962c4757f912b6e27be (diff) | |
Replace all bulk shifting by a single shift
Diffstat (limited to 'dhall_parser/src')
0 files changed, 0 insertions, 0 deletions