| commit | 7b4e0d6bfa12a5ec6e4bb91ab725118f05b9fb65 | [log] [tgz] |
|---|---|---|
| author | John Arthorne <John_Arthorne@ca.ibm.com> | Thu Mar 01 17:03:30 2012 -0500 |
| committer | John Arthorne <John_Arthorne@ca.ibm.com> | Thu Mar 01 17:03:30 2012 -0500 |
| tree | fa091dca3bb3a1b8106ed341c7408cb4ba3a7801 | |
| parent | ceb61864e3af2744d9ede386a87617a3899df393 [diff] |
Bug 372529 - Consider increasing SAT4J default timeout