diff options
Diffstat (limited to 'bin/.gitignore')
-rw-r--r-- | bin/.gitignore | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bin/.gitignore b/bin/.gitignore index ba077a4..af71bf2 100644 --- a/bin/.gitignore +++ b/bin/.gitignore @@ -1 +1,7 @@ -bin +dhall-[0-9].* +dhall-json-[0-9].* +dhall-to-json-[0-9].* +dhall-to-yaml-[0-9].* +dhall-to-yaml-ng-[0-9].* +dhall-yaml-[0-9].* +yaml-to-dhall-[0-9].* |