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
..
checks	build: remove useless class	2015-07-26 15:00:47 +02:00
detections	w32: use DisplayConfig API to retrieve correct monitor refresh rate	2015-11-06 19:53:18 +01:00
fragments	video: refactor GPU memcpy usage	2015-09-25 19:18:16 +02:00
generators	build: remove useless class	2015-07-26 15:00:47 +02:00
__init__.py	switch the build system to waf	2013-11-21 21:22:36 +01:00
clang_compilation_database.py	build: add option to generate a clang compilation database	2015-02-05 21:06:34 +01:00
dependencies.py	build: make sure the HAVE_ key is undefined on failure	2015-08-19 00:15:41 +02:00
features.py	build: hide duplicate options from --help	2013-12-26 10:09:17 +01:00
inflector.py	build: remove useless class	2015-07-26 15:00:47 +02:00
syms.py	build: syms: reindent	2014-08-05 12:57:34 +02:00
waf_customizations.py	build: fix Python 3 unicode issue with waf 1.8.6	2015-02-19 09:40:50 +01:00