diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 6710:6db6881c1270

add Virtualizable and VirtualizerTool, refactor PEA to use it
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 12 Nov 2012 17:49:06 +0100
parents 694c38d4b6d8
children
line wrap: on
line diff