diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-02-22 09:00:04 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-02-22 09:00:04 +0100 |
| commit | c29e6ff05e57cd909c9074041413aaf749d456ea (patch) | |
| tree | 694d575e87f39a806f964150a43ff960324fa520 /platform/android/thread_jandroid.h | |
| parent | 04bdc9b00a5264e6f61638b4aa212f2f9db4d7bf (diff) | |
| parent | 6adad5e611f4bedf974cabc98b1bbfbfda2dca8b (diff) | |
Merge pull request #3797 from volzhs/change-erase-to-remove
Change "erase" to "remove" in project manager. fixes #3796.
Diffstat (limited to 'platform/android/thread_jandroid.h')
0 files changed, 0 insertions, 0 deletions