aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-03-24 11:19:48 +0100
committerTom Smeding <tom@tomsmeding.com>2024-03-24 11:19:48 +0100
commit2de6cede93912457babc79bcb0f58c9e6b20f05a (patch)
tree30a1f088a8f73e385e2b296c3bfaf0aac7b6314c /.gitignore
parentdefd0cf1a7620eaecda984a58533661a98595bd3 (diff)
Partially working type checker
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions