From b995c1705f7a4b9ec1bc112569c0df9f00922302 Mon Sep 17 00:00:00 2001 From: Adam Wick Date: Sun, 1 Mar 2020 13:16:45 -0800 Subject: [PATCH] Add some more (in some cases, temporary) ignores to .gitignore. --- .gitignore | 2 ++ generation/.gitignore | 3 ++- src/.gitignore | 2 ++ 3 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 src/.gitignore diff --git a/.gitignore b/.gitignore index 049d5e2..be166bc 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,8 @@ **/*.rs.bk Cargo.lock +.vscode/ + generate.hi generate.o generate diff --git a/generation/.gitignore b/generation/.gitignore index 6e37865..b2efa0e 100644 --- a/generation/.gitignore +++ b/generation/.gitignore @@ -1,2 +1,3 @@ .ghc.environment* -dist-newstyle/ \ No newline at end of file +dist-newstyle/ +dist/ \ No newline at end of file diff --git a/src/.gitignore b/src/.gitignore new file mode 100644 index 0000000..ca694b5 --- /dev/null +++ b/src/.gitignore @@ -0,0 +1,2 @@ +signed/**/*.rs +unsigned/**/*.rs \ No newline at end of file