diff options
| author | tkellner <tkellner@3a0b52a2-8410-0410-bc02-ff6273a87459> | 2012-08-24 17:04:50 +0000 |
|---|---|---|
| committer | tkellner <tkellner@3a0b52a2-8410-0410-bc02-ff6273a87459> | 2012-08-24 17:04:50 +0000 |
| commit | 52edf7dfea3015e807e72e0812d99abbb53e6f9f (patch) | |
| tree | dedf1ba82f6e4a9b1ed48c84b70c761daf673e7b /trunk/pdf-over-gui/.settings | |
| parent | 2159fac36839b3d0db4784b624b25e3bb1163315 (diff) | |
| download | pdf-over-52edf7dfea3015e807e72e0812d99abbb53e6f9f.tar.gz pdf-over-52edf7dfea3015e807e72e0812d99abbb53e6f9f.tar.bz2 pdf-over-52edf7dfea3015e807e72e0812d99abbb53e6f9f.zip | |
State Machine refactoring
git-svn-id: https://svn.iaik.tugraz.at/svn/egiz/prj/current/12PDF-OVER-4.0@12388 3a0b52a2-8410-0410-bc02-ff6273a87459
Diffstat (limited to 'trunk/pdf-over-gui/.settings')
| -rw-r--r-- | trunk/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/trunk/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs b/trunk/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs index 482b5e85..c2132b91 100644 --- a/trunk/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs +++ b/trunk/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs @@ -60,7 +60,7 @@ org.eclipse.jdt.core.compiler.problem.missingSerialVersion=warning org.eclipse.jdt.core.compiler.problem.missingSynchronizedOnInheritedMethod=ignore org.eclipse.jdt.core.compiler.problem.noEffectAssignment=warning org.eclipse.jdt.core.compiler.problem.noImplicitStringConversion=warning -org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=ignore +org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=warning org.eclipse.jdt.core.compiler.problem.nullAnnotationInferenceConflict=error org.eclipse.jdt.core.compiler.problem.nullReference=warning org.eclipse.jdt.core.compiler.problem.nullSpecViolation=error |