diff options
author | Justin Wernick <justin@worthe-it.co.za> | 2022-04-19 21:25:36 +0200 |
---|---|---|
committer | Justin Wernick <justin@worthe-it.co.za> | 2022-04-19 21:25:36 +0200 |
commit | a866bde485c7d8bc82820f2def70af7b6c70a066 (patch) | |
tree | 6f2ac5888e2773faefae1aaee9bbe73aa439b96d /2017-battleships/.gitignore | |
parent | 237c67f87eaab0bab51d83d3dbf7a9632db75b50 (diff) |
Refile for merging repos
Diffstat (limited to '2017-battleships/.gitignore')
-rw-r--r-- | 2017-battleships/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/2017-battleships/.gitignore b/2017-battleships/.gitignore new file mode 100644 index 0000000..a41bb2d --- /dev/null +++ b/2017-battleships/.gitignore @@ -0,0 +1,3 @@ +/target + +/knowledge-state.json |