common/tools/envinfo2diamonds.pl
changeset 1273 92bfe0d10c29
parent 1163 b60154bd7ef7
equal deleted inserted replaced
1272:c4b5a5c928c2 1273:92bfe0d10c29