diff options
author | Bob Badour <bbadour@google.com> | 2020-05-06 15:54:00 +0000 |
---|---|---|
committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-05-06 15:54:00 +0000 |
commit | c6f9015f6bf1b59f46d6bb87f5e48cbab3cb94de (patch) | |
tree | fd845444b59dfc72656b7781596e0b1a0662c4c7 /eclipse/plugins/com.android.ide.eclipse.adt/.settings/org.eclipse.core.resources.prefs | |
parent | b96d49b79df68d7cc1d63c15fe7416e27e419151 (diff) | |
parent | 9d23b89ef175eab9c26c504e6b6cdf5cd28c0b34 (diff) | |
download | sdk-c6f9015f6bf1b59f46d6bb87f5e48cbab3cb94de.tar.gz |
Merge "Revert "Remove unused project."" am: fc7cda06f5 am: d3c69fa48e am: d58f8ba3b1 am: f1a59c9833 am: 9d23b89ef1
Change-Id: I463b8ee72ee68d390c4398e5287b6d1003197939
Diffstat (limited to 'eclipse/plugins/com.android.ide.eclipse.adt/.settings/org.eclipse.core.resources.prefs')
-rw-r--r-- | eclipse/plugins/com.android.ide.eclipse.adt/.settings/org.eclipse.core.resources.prefs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eclipse/plugins/com.android.ide.eclipse.adt/.settings/org.eclipse.core.resources.prefs b/eclipse/plugins/com.android.ide.eclipse.adt/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 000000000..b3c7fded6 --- /dev/null +++ b/eclipse/plugins/com.android.ide.eclipse.adt/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1 @@ +eclipse.preferences.version=1 |