annotate hotspot/.settings/org.eclipse.cdt.ui.prefs @ 13988:83b20e343f73

Truffle: added visited set to avoid duplicate inlinings when operating on truffle trees violating the tree property.
author Christian Humer <christian.humer@gmail.com>
date Thu, 20 Feb 2014 13:44:06 +0100
parents 694c38d4b6d8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3542
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
1 #Wed Sep 01 16:21:02 PDT 2010
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
2 eclipse.preferences.version=1
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
3 formatter_profile=_hotspotStyle
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
4 formatter_settings_version=1
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
5