Mon, 07 Jun 2010 11:00:51 +0100 | Dario Sestito | Fix: wrong name for diamonds_envinfo file | changeset | files |
Fri, 04 Jun 2010 16:43:28 +0100 | Dario Sestito | Add tool envinfo2diamonds.pl | changeset | files |
Fri, 04 Jun 2010 16:42:15 +0100 | Dario Sestito | Use new tools to publish and compare environment information | changeset | files |
Fri, 04 Jun 2010 15:05:10 +0100 | Tony Butler | Remove hard-coded dependency to lib.path | changeset | files |
Thu, 03 Jun 2010 14:37:20 +0100 | Dario Sestito | Take envinfo.pl from the utilities repo | changeset | files |
Thu, 03 Jun 2010 11:17:14 +0100 | Shabe Razvi | Pick correct truclean.pl from the myriad of available ones | changeset | files |