aboutsummaryrefslogtreecommitdiff
path: root/.editorconfig
diff options
context:
space:
mode:
authorBraxton Hall2022-10-24 07:06:33 +0000
committerGitHub2022-10-24 07:06:33 +0000
commitbb4dd5b33e782d2c385c3393af783a8dd36770c4 (patch)
tree0fba8615c9c3f8f9de3853f074b7bc83fbf14008 /.editorconfig
parent15c8967ec8074f3c7272ac7107847e3bb4539e99 (diff)
parentdcf99fd7ebf54474ea6d81ced6e00c28fba614fa (diff)
Merge pull request #18 from lizard-business/maude-ats
add maude & ATS
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions