diff options
author | Hop311 <hop3114@gmail.com> | 2023-07-21 01:26:31 +0200 |
---|---|---|
committer | Hop311 <hop3114@gmail.com> | 2023-07-21 01:26:31 +0200 |
commit | 62d001b0fa209f259440e160503dc5ffe5bcaa8f (patch) | |
tree | a0b28dffaba50d351cab1619f54516be23d2aa6f /extension/deps/OV-compiler | |
parent | f3f240853b15a9f9b7cb561dc6626e7f342c5c74 (diff) |
Tidying: missing req comments, submodules, hotkeys
Diffstat (limited to 'extension/deps/OV-compiler')
m--------- | extension/deps/OV-compiler | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extension/deps/OV-compiler b/extension/deps/OV-compiler deleted file mode 160000 -Subproject 65443efcc2f4c7d687b2bd9c631f6bb426688bb |