From fbd81e9d24635a2a6f253a97e00464a5253854a2 Mon Sep 17 00:00:00 2001 From: delvh Date: Tue, 4 Feb 2020 21:18:32 +0100 Subject: [PATCH] Delete org.eclipse.jdt.ui.prefs we live in a totalitarian regime in which individual preferences are not wanted --- .settings/org.eclipse.jdt.ui.prefs | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .settings/org.eclipse.jdt.ui.prefs diff --git a/.settings/org.eclipse.jdt.ui.prefs b/.settings/org.eclipse.jdt.ui.prefs deleted file mode 100644 index bbaba45..0000000 --- a/.settings/org.eclipse.jdt.ui.prefs +++ /dev/null @@ -1,3 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.ui.javadoc=true -org.eclipse.jdt.ui.text.custom_code_templates=