diff options
| author | Nadrieril | 2019-03-19 00:11:33 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-19 00:11:33 +0100 |
| commit | 1e3ada68eebf7100ad2faf4220bf716ccf85378e (patch) | |
| tree | 52fbfd201218643da4886eb43bc9aa441a46af2a /dhall_parser/.gitignore | |
| parent | ad3bc07cc46af26c13823faf536495ff423d7bc9 (diff) | |
Add coveralls CI integration
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions