5 Commits

Author	SHA1	Message	Date
Rémi Verschelde	81064cc239	Doctool: Remove version attribute from XML header ... We don't use that info for anything, and it generates unnecessary diffs every time we bump the minor version (and CI failures if we forget to sync some files from opt-in modules (mono, text_server_fb).	2023-07-06 10:08:21 +02:00
Rémi Verschelde	346f1ab86b	Bump version to 4.2-dev ... Keep on waitin'	2023-07-05 22:07:03 +02:00
Rémi Verschelde	1c1524a651	Bump version to 4.1-dev ... Can't stop, won't stop, they said, huh?	2023-03-01 01:44:37 +01:00
Micky	9de7b1afce	Doc consistency: "inspector" to "Inspector" ... Also fixes a slightly misleading comment in `Node.print_tree_pretty`.	2022-10-27 18:41:20 +02:00
Yuri Rubinsky	8191b3c110	Rename uniform to parameter across the engine	2022-09-01 11:42:57 +03:00