diff options
| author | Nadrieril | 2019-02-27 20:39:29 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-02-27 20:39:29 +0100 |
| commit | 2c00699d217e0a54d44678529fa3d87936071fec (patch) | |
| tree | b01bce29b06c71f50bbc8a2ce8beb127f7ed5bb2 /dhall/.gitignore | |
| parent | 8680920be83ecff0aaf6472b78599bb9108272a7 (diff) | |
Add Natural/Show builtin
Diffstat (limited to 'dhall/.gitignore')
0 files changed, 0 insertions, 0 deletions