Details | Last modification | View Log | RSS feed
# Put extra pluto command line options you want here
PLUTO_OPTIONS=" "