common/tools/envinfo2diamonds.pl
2010-06-07 Dario Sestito Fix: wrong name for diamonds_envinfo file
2010-06-04 Dario Sestito Add tool envinfo2diamonds.pl
less more (0) tip