Ricky Barrette
3102d485db
Extracted number picker (non public) from older android source and included it into this project to remain compatible with devices api level < 11. Devices api level > 11 will use native number pickers as the are public facing in the sdk Change-Id: I7cf7cba066b25516e90bd9951f4de7964b7fd613 Signed-off-by: Ricky Barrette <rickbarrette@gmail.com>
14 lines
446 B
Properties
14 lines
446 B
Properties
# This file is automatically generated by Android Tools.
|
|
# Do not modify this file -- YOUR CHANGES WILL BE ERASED!
|
|
#
|
|
# This file must be checked in Version Control Systems.
|
|
#
|
|
# To customize properties used by the Ant build system use,
|
|
# "ant.properties", and override values to adapt the script to your
|
|
# project structure.
|
|
|
|
# Indicates whether an apk should be generated for each density.
|
|
split.density=false
|
|
# Project target.
|
|
target=android-15
|