diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 7704:a87bebe5e650

fix formatting in MonitorSnippets
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 04 Feb 2013 15:33:43 +0100
parents 630ea5001e33
children a0cfabe195c6
line wrap: on
line diff