| Mon, 12 Jul 2010 12:02:01 +0100 | Dario Sestito | Fix: envinfo in bit database is reversed | file | diff | annotate |
| Mon, 12 Jul 2010 11:26:23 +0100 | Dario Sestito | Fix: compilation errors in envinfo2diamonds.pl | file | diff | annotate |
| Fri, 09 Jul 2010 17:55:07 +0100 | Dario Sestito | Add bitops.pl. Dump start info and envinfo to bitinfo.txt | file | diff | annotate |
| Mon, 07 Jun 2010 11:00:51 +0100 | Dario Sestito | Fix: wrong name for diamonds_envinfo file | file | diff | annotate |
| Fri, 04 Jun 2010 16:43:28 +0100 | Dario Sestito | Add tool envinfo2diamonds.pl | file | diff | annotate |