mirror of
https://github.com/PAMGuard/PAMGuard.git
synced 2024-11-22 07:02:29 +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
|