# Additional command line parameters for prelude-manager:
#
OPTIONS=""
