Merge pull request #4979 from davidbrai/allow-parse_log-to-skip-lines
authorEvan Shelhamer <shelhamer@imaginarynumber.net>
Fri, 18 Nov 2016 17:46:25 +0000 (09:46 -0800)
committerGitHub <noreply@github.com>
Fri, 18 Nov 2016 17:46:25 +0000 (09:46 -0800)
commit32c2ce6bf3ced41cbcbd34151c78eaae3e0b5333
treef39e924ef4381d2b3e35d9ebf487503a43ce2848
parent28c135c345b921662328f75155fbf8e0f86b6757
parentaaf7b6b17fdded6f6489eaf84a4d336b3344c356
Merge pull request #4979 from davidbrai/allow-parse_log-to-skip-lines

Support solver resumes in parse_log.py