diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-06-11 15:32:46 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-06-11 15:32:46 -0700 |
| commit | e1ba386f3174571e8664b53cd48b679374165184 (patch) | |
| tree | bdbc823c83c7cc55d21ba81ec3d9e68ec96f8aee /src/batchtools/rsTester/.settings/org.maven.ide.eclipse.prefs | |
| parent | 0762543d6b2e4b0a0e42af7aacb5891524422e83 (diff) | |
| parent | 8c39fd2ce91647f8806e23edca02d42461b58b83 (diff) | |
Merge branch 'master' of src.galois.com:/srv/git/FiveUI
Diffstat (limited to 'src/batchtools/rsTester/.settings/org.maven.ide.eclipse.prefs')
| -rw-r--r-- | src/batchtools/rsTester/.settings/org.maven.ide.eclipse.prefs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/batchtools/rsTester/.settings/org.maven.ide.eclipse.prefs b/src/batchtools/rsTester/.settings/org.maven.ide.eclipse.prefs deleted file mode 100644 index 0512605..0000000 --- a/src/batchtools/rsTester/.settings/org.maven.ide.eclipse.prefs +++ /dev/null @@ -1,8 +0,0 @@ -#Tue Jan 10 18:30:41 PST 2012 -activeProfiles= -eclipse.preferences.version=1 -fullBuildGoals=process-test-resources -resolveWorkspaceProjects=true -resourceFilterGoals=process-resources resources\:testResources -skipCompilerPlugin=true -version=1 |