session_log now supports gZipped individual log files, if uncompressed log file is not present. Slightly modified from patch by Saklad5 @ kolmafia.us.

by jaadams5 on 2018-08-06 23:00:56

M /src/net/sourceforge/kolmafia/textui/RuntimeLibrary.java (view) (diff)