summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorChristian Clason <c.clason@uni-graz.at>2022-11-06 11:03:23 +0100
committerChristian Clason <christian.clason@uni-due.de>2022-11-06 11:12:20 +0100
commitf6bc84dabdf6e201c25df2a1f5e1bb5748c833d1 (patch)
tree7a43a0ee581d1c5a146119720ca5d97139180c40 /.gitignore
parent1fa45d8c793282d9a65044666e977220f91a2dd7 (diff)
fix: update julia queries to parser change
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions