common/tools/envinfo2diamonds.pl
changeset 1240 63e3c25b6e2c
parent 1163 b60154bd7ef7