mirror of
https://github.com/PAMGuard/PAMGuard.git
synced 2024-11-25 16:42:27 +00:00
6 lines
190 B
Plaintext
6 lines
190 B
Plaintext
|
eclipse.preferences.version=1
|
||
|
|
org.eclipse.jdt.ui.exception.name=e
|
||
|
|
org.eclipse.jdt.ui.gettersetter.use.is=true
|
||
|
|
org.eclipse.jdt.ui.keywordthis=false
|
||
|
|
org.eclipse.jdt.ui.overrideannotation=true
|