From 2e698dd72d7db6b982d13af8f96b9561a3a48e12 Mon Sep 17 00:00:00 2001 From: Chris Myers Date: Thu, 13 Apr 2017 23:33:26 +0100 Subject: [PATCH] Update .gitignores --- analysis/.gitignore | 1 + conversion/.gitignore | 1 + dataModels/.gitignore | 1 + gui/.gitignore | 1 + learn/.gitignore | 1 + synthesis/.gitignore | 1 + verification/.gitignore | 1 + 7 files changed, 7 insertions(+) create mode 100644 analysis/.gitignore create mode 100644 conversion/.gitignore create mode 100644 dataModels/.gitignore create mode 100644 gui/.gitignore create mode 100644 learn/.gitignore create mode 100644 synthesis/.gitignore create mode 100644 verification/.gitignore diff --git a/analysis/.gitignore b/analysis/.gitignore new file mode 100644 index 000000000..b83d22266 --- /dev/null +++ b/analysis/.gitignore @@ -0,0 +1 @@ +/target/ diff --git a/conversion/.gitignore b/conversion/.gitignore new file mode 100644 index 000000000..b83d22266 --- /dev/null +++ b/conversion/.gitignore @@ -0,0 +1 @@ +/target/ diff --git a/dataModels/.gitignore b/dataModels/.gitignore new file mode 100644 index 000000000..b83d22266 --- /dev/null +++ b/dataModels/.gitignore @@ -0,0 +1 @@ +/target/ diff --git a/gui/.gitignore b/gui/.gitignore new file mode 100644 index 000000000..b83d22266 --- /dev/null +++ b/gui/.gitignore @@ -0,0 +1 @@ +/target/ diff --git a/learn/.gitignore b/learn/.gitignore new file mode 100644 index 000000000..b83d22266 --- /dev/null +++ b/learn/.gitignore @@ -0,0 +1 @@ +/target/ diff --git a/synthesis/.gitignore b/synthesis/.gitignore new file mode 100644 index 000000000..b83d22266 --- /dev/null +++ b/synthesis/.gitignore @@ -0,0 +1 @@ +/target/ diff --git a/verification/.gitignore b/verification/.gitignore new file mode 100644 index 000000000..b83d22266 --- /dev/null +++ b/verification/.gitignore @@ -0,0 +1 @@ +/target/