Project specific error/warning settings
authorChristian Femers <femers@in.tum.de>
Wed, 29 May 2019 20:24:30 +0000 (22:24 +0200)
committerChristian Femers <femers@in.tum.de>
Wed, 29 May 2019 20:24:30 +0000 (22:24 +0200)
commit1c53586d0b0abed6bf6b485a8e6dbd010849b966
tree8feb48c45af31582fe1fbdc52cfa0e38efb6a60c
parent94477da24401e8c10ba4aacdffca7ddd68ca20b1
Project specific error/warning settings
LogicUI/.settings/org.eclipse.jdt.core.prefs
SampleERCP/.settings/org.eclipse.jdt.core.prefs
era.mi/.settings/org.eclipse.jdt.core.prefs