myaaaaaaaaa 2cb6ec9e9b Suppress NavigationServer race conditions		2023-08-07 18:49:28 -04:00
..
dist	Bump version to 4.2-dev	2023-07-05 22:07:03 +02:00
error_suppressions	Suppress NavigationServer race conditions	2023-08-07 18:49:28 -04:00
extension_api_validation	Fix or workaround recent extension API compatibility issues	2023-08-03 12:07:21 +02:00
hooks	Create an "Editor-only" section in the online class reference	2023-04-24 21:06:55 +02:00
scripts	Fix or workaround recent extension API compatibility issues	2023-08-03 12:07:21 +02:00