summaryrefslogtreecommitdiff
path: root/lib/KindLinter.hs
diff options
context:
space:
mode:
authorstuebinm2022-02-16 19:38:08 +0100
committerstuebinm2022-02-16 19:38:08 +0100
commitb3c3b5d727f2c8548ab72ff07a0f8c6b9844bfac (patch)
treed59b7c7ab9fa9f90fd08066b473d1a666ee7254b /lib/KindLinter.hs
parent3b144c97636620a6fbd3807a8847b5751f86a52d (diff)
server: post map updates to exneuland's API
Diffstat (limited to 'lib/KindLinter.hs')
0 files changed, 0 insertions, 0 deletions