summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorOhad Kammar <ohad.kammar@ed.ac.uk>2022-08-07 23:40:51 +0100
committerOhad Kammar <ohad.kammar@ed.ac.uk>2022-08-07 23:40:51 +0100
commit1aa6b6ef854fc428b888be20ce8321317bb3b627 (patch)
tree2f28e9d94d4e709c51b14fafc6d2f0979527fcb1 /.gitignore
parent85b191cd3134102c7205c1771806ee16f73b3a89 (diff)
add contributors
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions