diff options
| author | Nadrieril | 2019-08-16 17:56:19 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-16 18:01:46 +0200 |
| commit | 88ebc0f9d561a2541aad84a3152511a0439db8b4 (patch) | |
| tree | 73571d5509f8631da63c09ec78acd30862f237f9 /.gitignore | |
| parent | e8bf879471708ac2cc03df904d14a618daaf2132 (diff) | |
Reduce api surface of dhall crate
Helps detect unused code
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions