Open Source Projects Europe
Search
Browse Projects
Sign up
Log in
DP Expert Suite/
Preservation Identifier
Preservation Identifier - Home
Server
Web Client
CLI Client
KB Generator - Linux Packages
Browse Commits
Fork
Branches
master
28
KB Generator - Tools & Formats
KB Web Interface
KB Library
OWL API Facade
Parent
Tickets
Commit
[dcde61]
master
History
updated settings
Authored by:
Rudolf Mayer
2014-05-09
Browse code at this revision
Parent(s):
[9bda86]
Child(ren):
[97396c]
added
.settings/org.eclipse.core.resources.prefs
changed
.settings/org.eclipse.jdt.core.prefs
.settings/org.eclipse.core.resources.prefs
Diff
Switch to side-by-side view
.settings/org.eclipse.jdt.core.prefs
Diff
Switch to side-by-side view