WMI/WmiProvider.cs
changeset 410 3e69541ad89a
parent 344 3145aadca3d2