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/