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/.gitignore | |
| 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/.gitignore')
| -rw-r--r-- | tools/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/.gitignore b/tools/.gitignore new file mode 100644 index 0000000..ba077a4 --- /dev/null +++ b/tools/.gitignore @@ -0,0 +1 @@ +bin |