summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorFelix Perktold <Felix.Perktold@student.uibk.ac.at>2026-01-18 15:51:54 +0100
committerFelix Perktold <Felix.Perktold@student.uibk.ac.at>2026-01-18 15:51:54 +0100
commita2ab90cfb9e364a3de7157b2ea2905e4c944583d (patch)
treef0dc1ca808a0f0b570c028178d80ebf79ff16a03 /.gitignore
parentdb3fdda53f16644181a6c68b3e9152af9b300066 (diff)
renamed builtins to procedures
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions