comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 15356:9e7f87dc6395

mx exportlibs: include source dependencies and digest files
author Bernhard Urban <bernhard.urban@jku.at>
date Thu, 24 Apr 2014 11:49:08 +0200
parents e3491381c424
children 7e2c87dae93e
comparison
equal deleted inserted replaced
15355:43aa6a7e60bd 15356:9e7f87dc6395