diff options
| author | Nadrieril | 2021-01-22 19:11:23 +0000 |
|---|---|---|
| committer | Nadrieril | 2021-01-22 19:11:23 +0000 |
| commit | 11ff03a8113580244ced04a8b370ab6192b8e413 (patch) | |
| tree | 47782b629686974ffa72a79715be9199997e4062 /.gitignore | |
| parent | 6fd075204e0869a72b0b8f86985ec30f2dcd4a13 (diff) | |
doc: document the `dhall` usage test
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions