Google Git
Sign in
eclipse / ptp / org.eclipse.ptp / c1c79edd1889d2dcf8637434d2cafbd1b39186b1 / . / tools / pldt / org.eclipse.ptp.pldt.openmp.ui.pv / .settings
tree: 07bc71477339b7e1c368cf457a7d6dd2bafafa1d [path history] [tgz]
  1. org.eclipse.jdt.core.prefs