我只知道以下属性，我希望有一个完整的列表。
这指定了目标API级别（示例中的API级别17）：
target=android-17
指定项目是否为库：
android.library=true
这以Android方式指定包含的库（库项目的目录合并到包含项目的相应目录中）：
android.library.reference.1=../relative/path/to/library/one
android.library.reference.2=../relative/path/to/library/two
...
android.library.reference.n=../relative/path/to/library/n
指定库项目的清单文件（AndroidManifest.xml）是否合并到包含项目的清单文件中：
manifestmerger.enabled=true
我在我的项目中看到了前三个（由Eclipse生成）并找到了SDK Tools - Revisions - SDK Tools, Revision 20 (June 2012)中的最后一个，这很难找到。
官方网站/文档/ Android源中是否有完整的列表？
- 已编辑2013/02/17 -
感谢android developer提醒我proguard.config属性，该属性在默认的project.property文件中留言。
指定ProGuard配置文件的路径：
proguard.config=${sdk.dir}/tools/proguard/proguard-android.txt:proguard-project.txt
有两个变量：${sdk.dir}和${user.home}。可以在ProGuard Documentation中找到更多信息。
相关文章：
android - using the new “manifestmerger” property