log src/of-sparsersb-1-fixes.patch @ 4185:b7c4178dadc4

age author description
Mon, 08 Aug 2016 17:23:57 -0400 John D sparsersb: update patch to latest from sparser repo, enable openmp
Sun, 07 Aug 2016 19:38:56 -0400 John D of-sparsersb: update to v1.0.1