]> git.lizzy.rs Git - micro.git/commit
Merge branch 'patch-1' of https://github.com/mardukbp/micro into mardukbp-patch-1
authorZachary Yedidia <zyedidia@gmail.com>
Sun, 24 Jul 2022 20:59:12 +0000 (13:59 -0700)
committerZachary Yedidia <zyedidia@gmail.com>
Sun, 24 Jul 2022 20:59:12 +0000 (13:59 -0700)
commitce98970c066316ece10a0386c56ee761ea7d7b7f
tree1aedc6422d93e54dcc7d8bde7e423342c5b16e60
parent7cc74491d0dd7231a2f8b4009fc14df1119f381a
parent3d683b27f7a4c58404f80f5a200225cc0eda5a53
Merge branch 'patch-1' of https://github.com/mardukbp/micro into mardukbp-patch-1
runtime/syntax/scala.yaml