diff options
| author | Nadrieril | 2021-04-03 15:22:44 +0100 |
|---|---|---|
| committer | Nadrieril | 2021-04-03 15:22:44 +0100 |
| commit | 87304eecb75a957c4df411e7961a19208bddd525 (patch) | |
| tree | b68d09c5d5c7b5c044c6da2c0dd35dc622608213 /dhall_syntax/.gitignore | |
| parent | 527194222bbdcf559cfec3aac9b43c9ea05c2d6e (diff) | |
fix: fix formatting
Diffstat (limited to 'dhall_syntax/.gitignore')
0 files changed, 0 insertions, 0 deletions