From 4b672ab5fc91b2b3c13e23f130f810b79ab7c928 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Mon, 12 Nov 2018 14:08:15 -0800 Subject: Initial commit --- .gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 .gitignore (limited to '.gitignore') diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..9f97022 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +target/ \ No newline at end of file -- cgit v1.2.3