common/tools/envinfo.pl
changeset 891 6c56420d1006
parent 888 5cd45cbf7622
child 905 9ed73a51c728