tree f38db48ce399e50fad64ee631768f28a2241e16b
parent 1aeccc4649697803a7aefe4624e5d106653ec640
author Rich Lane <rich.lane@bigswitch.com> 1343683673 -0700
committer Rich Lane <rich.lane@bigswitch.com> 1343683794 -0700

add platform_args to config dictionary and add a short option alias