From 1bac4f568091d0c8bfb34da0db53ae14d29881e8 Mon Sep 17 00:00:00 2001
From: Jared Weakly <jweakly@galois.com>
Date: Mon, 30 Mar 2020 10:17:26 -0700
Subject: [PATCH] Remove unnecessary gitattributes file

---
 .gitattributes | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 .gitattributes

diff --git a/.gitattributes b/.gitattributes
deleted file mode 100644
index e3610b3..0000000
--- a/.gitattributes
+++ /dev/null
@@ -1,2 +0,0 @@
-/lib/** linguist-detectable=false
-/node_modules/** linguist-detectable=false