Skip to content
Permalink
main
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
1 contributor

Users who have contributed to this file

#
# default.properties
#
# Default properties for all builds. Properties defined
# here may be overridden in platform-specific properties files,
# or in a machine-specific build.properties file.
#
# Null device location.
null.device=/dev/null