James Ross-Gowan 647b360a0a w32: use DisplayConfig API to retrieve correct monitor refresh rate ... This is based on an older patch by James Ross-Gowan. It was rebased and cleaned up. Also, the DWM API usage present in the older patch was removed, because DWM reports nonsense rates at least on Windows 8.1 (they are rounded to integers, just like with the old GDI API - except the GDI API had a good excuse, as it could report only integers). Signed-off-by: wm4 <wm4@nowhere>		2015-11-06 19:53:18 +01:00
..
__init__.py	…
compiler.py	w32: use DisplayConfig API to retrieve correct monitor refresh rate	2015-11-06 19:53:18 +01:00
devices.py	build: set default cdrom and dvd devices on linux	2014-06-30 23:19:53 +02:00