org.eclipse.jdt.ui.prefs « .settings « ajdoc - aspectj.git - A seamless aspect-oriented extension to the Java programming language: https://github.com/eclipse-aspectj/aspectj

index : aspectj.git

A seamless aspect-oriented extension to the Java programming language: https://github.com/eclipse-aspectj/aspectj

www-data

summary refs log tree commit diff stats

path: root/ajdoc/.settings/org.eclipse.jdt.ui.prefs

blob: abe3c5796aa5003db7d65f5b06ad5163c6c140e0 (plain)

1
2
3

#Thu Oct 06 08:06:04 PDT 2005
eclipse.preferences.version=1
internal.default.compliance=default