Juan Linietsky c7255388e1 Remove ThreadWorkPool, replace by WorkerThreadPool ... The former needs to be allocated once per usage. The later is shared for all threads, which is more efficient. It can also be better debugged.		2022-07-25 15:39:50 +02:00
..
classes	Remove ThreadWorkPool, replace by WorkerThreadPool	2022-07-25 15:39:50 +02:00
tools	Merge pull request #62713 from YuriSizov/docs-scripting-annotations	2022-07-06 15:31:19 +02:00
translations	i18n: Sync classref translations with Weblate	2022-07-18 10:29:25 +02:00
class.xsd	Merge pull request #62713 from YuriSizov/docs-scripting-annotations	2022-07-06 15:31:19 +02:00
Doxyfile	Replace HTTP links with HTTPS for sites with HTTPS versions	2021-08-22 20:13:11 -05:00
Makefile	i18n: Add --lang option to make_rst.py to write translated headings	2021-12-21 13:47:11 +01:00