graham b91444be6a Merge branch 'master' into cvm

2008-09-08 17:51:45 +01:00

..

solvers

Minor updates.

2008-09-03 08:34:04 +01:00

test

unused options

2008-08-19 13:49:00 +01:00

utilities

Merge branch 'master' into cvm

2008-09-08 17:51:45 +01:00

Allwmake

Be pickier about only running certain scripts from the cwd

2008-08-09 18:50:27 +02:00