Michael Foster 54a8c72121 Huge bug with deleting boards: $tmp_board unused; sometimes it would delete the wrong board's directory

2013-08-21 21:34:18 +10:00

75 KiB

Raw Blame History

View Raw