Bruno BELANYI 41d50aca38 Alias 'default_case' to 'select_case' ... There's not much use in the node being a different name.		2024-04-09 13:09:48 +01:00
..
corpus	Alias 'default_case' to 'select_case'	2024-04-09 13:09:48 +01:00
highlight	Add builtins highlighting	2024-04-09 12:28:28 +01:00