summaryrefslogtreecommitdiff
path: root/lua
diff options
context:
space:
mode:
authorStephan Seitz <stephan.seitz@fau.de>2021-03-07 18:31:01 +0100
committerKiyan <yazdani.kiyan@protonmail.com>2021-03-16 18:52:43 +0100
commit080b6476fe0f6c1c6ae6331ad27bbd093bc82716 (patch)
treeb96f9df9d11a461000695279be9e296d59bb92bf /lua
parentc573cdd0a96fcc4c5b0ef2e1a382fa08ddc696fb (diff)
Fix ocaml queries
Diffstat (limited to 'lua')
0 files changed, 0 insertions, 0 deletions