comparison mx/eclipse-settings/org.eclipse.core.resources.prefs @ 13520:fb7b39f07232

Embed compressed constants when possible and use more efficient patterns for encoding
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Mon, 06 Jan 2014 17:19:18 -0800
parents 9d74a0d7b231
children f11d3d5248b5
comparison
equal deleted inserted replaced
13519:1ceb90be7bac 13520:fb7b39f07232