diff options
author | Adrien Hopkins <ahopk127@my.yorku.ca> | 2021-05-22 14:05:44 -0500 |
---|---|---|
committer | Adrien Hopkins <ahopk127@my.yorku.ca> | 2021-05-22 14:05:44 -0500 |
commit | 8645325803f8580c823cc4c2cec2ad76906b52bb (patch) | |
tree | fff893611dfd82aca4af5e677ab782045d5543d9 /.settings/org.eclipse.jdt.apt.core.prefs | |
parent | 184b7cc697ffc2dcbd49cfb3d0fd7b14bdac8803 (diff) | |
parent | 277500e27010839e03659870bc5890f1535aa8c8 (diff) |
Merge branch 'develop' into feature-settings-tab
Diffstat (limited to '.settings/org.eclipse.jdt.apt.core.prefs')
-rw-r--r-- | .settings/org.eclipse.jdt.apt.core.prefs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.settings/org.eclipse.jdt.apt.core.prefs b/.settings/org.eclipse.jdt.apt.core.prefs deleted file mode 100644 index d4313d4..0000000 --- a/.settings/org.eclipse.jdt.apt.core.prefs +++ /dev/null @@ -1,2 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.apt.aptEnabled=false |