Skip to content

Add _builtin suffix to builtin names.#1005

Merged
Oppen merged 6 commits intomainfrom alonh/add_builtin_suffix_to_builtin_namesApr 18, 2023
+14-12

Commits

Commits on Apr 18, 2023