common/tools/envinfo2diamonds.pl
changeset 1254 dfafee79af71
parent 1163 b60154bd7ef7