diff options
| author | tspitzer | 2013-09-03 14:18:21 +0200 |
|---|---|---|
| committer | tspitzer | 2013-09-03 14:18:21 +0200 |
| commit | a14007a43b82e5e130a3434fe0885c6e45b65440 (patch) | |
| tree | 088dbb168a97a5f54b907277bc22942a059a9737 | |
| parent | initial commit (diff) | |
| download | tutor-module-a14007a43b82e5e130a3434fe0885c6e45b65440.tar.gz tutor-module-a14007a43b82e5e130a3434fe0885c6e45b65440.tar.xz tutor-module-a14007a43b82e5e130a3434fe0885c6e45b65440.zip | |
initial commit
| -rw-r--r-- | Dozentenmodul/.settings/org.eclipse.jdt.core.prefs | 11 | ||||
| -rw-r--r-- | Dozentenmodul/bin/Logo_bwLehrpool.png | bin | 0 -> 29052 bytes | |||
| -rw-r--r-- | Dozentenmodul/img/Logo_bwLehrpool.png | bin | 0 -> 29052 bytes |
3 files changed, 11 insertions, 0 deletions
diff --git a/Dozentenmodul/.settings/org.eclipse.jdt.core.prefs b/Dozentenmodul/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 00000000..838bd9d6 --- /dev/null +++ b/Dozentenmodul/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,11 @@ +eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.7
diff --git a/Dozentenmodul/bin/Logo_bwLehrpool.png b/Dozentenmodul/bin/Logo_bwLehrpool.png Binary files differnew file mode 100644 index 00000000..b897d9f1 --- /dev/null +++ b/Dozentenmodul/bin/Logo_bwLehrpool.png diff --git a/Dozentenmodul/img/Logo_bwLehrpool.png b/Dozentenmodul/img/Logo_bwLehrpool.png Binary files differnew file mode 100644 index 00000000..b897d9f1 --- /dev/null +++ b/Dozentenmodul/img/Logo_bwLehrpool.png |
