Remove useless files from the root directory and update .gitignore.

DataSystemsLab · Jan 26, 2017 · 7bf8ee2 · 7bf8ee2
1 parent ab8ca41
commit 7bf8ee2
Show file tree

Hide file tree

Showing 6 changed files with 4 additions and 191 deletions.
diff --git a/.cproject b/.cproject
diff --git a/.gitignore b/.gitignore
@@ -27,6 +27,9 @@ win32ver.rc
 *.exe
 lib*dll.def
 lib*.pc
+.project
+.cproject
+/.settings/
 
 # Local excludes in root directory
 /GNUmakefile
@@ -37,4 +40,4 @@ lib*.pc
 /pgsql.sln.cache
 /Debug/
 /Release/
-/tmp_install/
+/tmp_install/
diff --git a/.project b/.project
diff --git a/.settings/language.settings.xml b/.settings/language.settings.xml
diff --git a/.settings/org.eclipse.cdt.codan.core.prefs b/.settings/org.eclipse.cdt.codan.core.prefs