diff options
| author | Nadrieril | 2019-03-19 01:16:29 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-19 01:16:29 +0100 |
| commit | 9f8622ae6163bdea83604bafdfc3ee4e70b0bcde (patch) | |
| tree | 50c684ddb2f8fe9caca955e5acaa4bf553b40dfd /dhall-lang | |
| parent | 22ca5ac7372eb5bdc025e0b4a116671921b94a8e (diff) | |
Add CI badges
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions