common/tools/envinfo2diamonds.pl
changeset 1123 e0554eb36cb5
parent 1059 41e4f69f652f
child 1158 739036c00f80
equal deleted inserted replaced
1122:7cb8523f73e3 1123:e0554eb36cb5