common/tools/envinfo.pl
changeset 1251 0fc9e31020ea
parent 931 5a526b63fb08
equal deleted inserted replaced
1250:cf7f8806ba43 1251:0fc9e31020ea