diff options
| author | stuebinm | 2021-04-05 00:58:49 +0200 |
|---|---|---|
| committer | stuebinm | 2021-04-05 00:58:49 +0200 |
| commit | 92f2e0267323137941645426e90d75f214e1a590 (patch) | |
| tree | 48cbab6ca80779dfc86d1a3ded7340a61931040d /utils/.gitignore | |
| parent | 311c66047f7187feaf4ed33eea0cc64baf933874 (diff) | |
add dhall example config
Diffstat (limited to 'utils/.gitignore')
0 files changed, 0 insertions, 0 deletions