From 5a6892cecfb33349a51466fc08c01a7d33a2dcbc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sun, 10 Jul 2022 17:59:03 +0200 Subject: Remove Eclipse settings. --- .settings/org.eclipse.cdt.core.prefs | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 .settings/org.eclipse.cdt.core.prefs (limited to '.settings/org.eclipse.cdt.core.prefs') diff --git a/.settings/org.eclipse.cdt.core.prefs b/.settings/org.eclipse.cdt.core.prefs deleted file mode 100644 index c8ec5df..0000000 --- a/.settings/org.eclipse.cdt.core.prefs +++ /dev/null @@ -1,6 +0,0 @@ -doxygen/doxygen_new_line_after_brief=true -doxygen/doxygen_use_brief_tag=false -doxygen/doxygen_use_javadoc_tags=true -doxygen/doxygen_use_pre_tag=false -doxygen/doxygen_use_structural_commands=false -eclipse.preferences.version=1 -- cgit v1.2.3