Remove git.properties From .gitignore
git.properites is no longer generated outside of **/target/**, removing
it from .gitignore
Change-Id: Iabaffed416ddc0737923e160796672242ed08557
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1628
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Steven Jacobs <sjaco002@ucr.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
diff --git a/.gitignore b/.gitignore
index 6040d79..31dda11 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,7 +13,6 @@
.idea
*.ipr
*.iws
-git.properties
exception
dev1
dev2