For all places that look at scriptList, a space before and after the "|" is
optional

by veracity0 on 2017-01-12 02:45:41

M /src/net/sourceforge/kolmafia/swingui/OptionsFrame.java (view) (diff)
M /src/net/sourceforge/kolmafia/webui/TopMenuDecorator.java (view) (diff)