File: org.eclipse.wst.jsdt.ui.prefs

package info (click to toggle)
gnome-shell 3.30.2-9
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 15,416 kB
  • sloc: ansic: 43,826; xml: 1,337; sh: 370; makefile: 87; python: 21; perl: 13
file content (10 lines) | stat: -rw-r--r-- 452 bytes parent folder | download | duplicates (11)
1
2
3
4
5
6
7
8
9
10
#Fri Nov 28 14:39:12 EST 2008
eclipse.preferences.version=1
formatter_profile=_gjs
formatter_settings_version=11
org.eclipse.wst.jsdt.ui.exception.name=e
org.eclipse.wst.jsdt.ui.gettersetter.use.is=true
org.eclipse.wst.jsdt.ui.javadoc=false
org.eclipse.wst.jsdt.ui.keywordthis=false
org.eclipse.wst.jsdt.ui.overrideannotation=true
org.eclipse.wst.jsdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>