chore: Remove accidentally committed submodule

Browse Source

This was accidentally added in b22bb74.

...

This commit is contained in:

Wolfgang Walther

2024-02-17 13:13:00 +01:00

parent c004840e76

commit a7afcc4de9

1 changed files with 0 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

update-ghc

-1

Submodule update-ghc deleted from e2b67233f7