Minor clean-up. Change PCI Device ID check from 7110 to 7000-7FFF.
[edk2.git] / BaseTools / 
tree6fb3459223ab5a91c7ad4dfc9e671d23d4490a43
drwxr-xr-x   ..
drwxr-xr-x - Bin
-rwxr-xr-x 6090 BuildEnv
-rw-r--r-- 31462 ChangeLog.txt
drwxr-xr-x - Conf
-rw-r--r-- 9255 ReadMe.txt
-rw-r--r-- 761 building-gcc.txt
-rwxr-xr-x 11982 toolsetup.bat