joerg 66667a43ee pbulk-0.36: ... Avoid grep -q and use awk instead. This has the side effect of parsing presolve only once for each file. grep -q doesn't exist on Solaris.		2008-10-08 16:43:34 +00:00
..
pbulk	pbulk-0.36:	2008-10-08 16:43:34 +00:00