Merge pull request #7 from jiayuasu/master

Remove useless files from the root directory and update .gitignore.
DataSystemsLab · Jan 26, 2017 · 8ffb85a · 8ffb85a
2 parents e188f41 + 7bf8ee2
commit 8ffb85a
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