diff options
| author | Trygve Laugstøl <trygvis@inamo.no> | 2020-11-10 10:53:33 +0100 |
|---|---|---|
| committer | Trygve Laugstøl <trygvis@inamo.no> | 2020-11-10 10:53:33 +0100 |
| commit | 9c7a251c1dbff58b45151d93fdb17845f820dcb1 (patch) | |
| tree | b0b24be8a855bcf0c8a8e8094853101803bf0a24 /tools/json-to-dhall | |
| parent | fe9f038589d020e0d284af5127e1cb16452c0a56 (diff) | |
| download | infra-9c7a251c1dbff58b45151d93fdb17845f820dcb1.tar.gz infra-9c7a251c1dbff58b45151d93fdb17845f820dcb1.tar.bz2 infra-9c7a251c1dbff58b45151d93fdb17845f820dcb1.tar.xz infra-9c7a251c1dbff58b45151d93fdb17845f820dcb1.zip | |
dhall tools.
Diffstat (limited to 'tools/json-to-dhall')
| l--------- | tools/json-to-dhall | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/json-to-dhall b/tools/json-to-dhall new file mode 120000 index 0000000..ffe753a --- /dev/null +++ b/tools/json-to-dhall @@ -0,0 +1 @@ +dhall
\ No newline at end of file |