diff options
| author | Nadrieril | 2019-08-06 22:36:43 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-06 22:36:43 +0200 |
| commit | 705433487da3cd3b4517fcf74b0497c76dbb4080 (patch) | |
| tree | 32a55f2824cd24d90211873c5bda42a14ae4824f /.gitignore | |
| parent | 0a1cf5554e8c06d05d24bdcdcf1eb71f0ac6d8f2 (diff) | |
Prepare for https://github.com/dhall-lang/dhall-lang/pull/630
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions