[galaxy-commits] [galaxyproject/galaxy] a033d7: Remove: history_options and options.mako (history ...