diff --git a/.gitignore b/.gitignore index 651d0140bb..e9b47f21ed 100644 --- a/.gitignore +++ b/.gitignore @@ -93,6 +93,7 @@ android/.cproject android/.project android/assets android/local.properties +android/ant.properties # local android scripts, such as debugger helper scrips android/local