Eli Schwartz ccb15bc0e9 gen_data.py: even more sorting ... glob.glob() is not sorted, despite using shell-style wildcards, and the documentation does not mention this: https://bugs.python.org/issue21748 Recently, it does start mentioning "Whether or not the results are sorted depends on the file system." which does not really get to the heart of the matter... This is causing fuzz too.		2021-01-13 15:57:06 +00:00
..
ac_converter.py	Update Python2 syntax to Python3 syntax in ghwt.py	2019-12-06 14:43:21 +02:00
boost_names.py	typing: fix mypy typing error	2020-10-12 00:23:59 +03:00
build_website.py	typing: fully annotate tools	2020-09-08 20:15:56 +02:00
cmake2meson.py	typing: fully annotate tools	2020-09-08 20:15:56 +02:00
copy_files.py	Made Commands.md dynamically generated (#7346)	2020-06-30 23:56:08 +03:00
dircondenser.py	typing: fully annotate tools	2020-09-08 20:15:56 +02:00
gen_data.py	gen_data.py: even more sorting	2021-01-13 15:57:06 +00:00
regenerate_docs.py	Hotdoc: use template for Commands.md instead of generating the entire file (#8154)	2021-01-10 14:48:34 +02:00