Skip to content

Commit

Permalink
[Backport #17316] Remove daml-ghcide submodule accidentally checked-i…
Browse files Browse the repository at this point in the history 
…n by #17299 (#17317)
  • Loading branch information
@akrmn
akrmn authored Aug 23, 2023
1 parent 76d1780 commit 81d0c37
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion daml-ghcide
Submodule daml-ghcide deleted from 89d20f

0 comments on commit 81d0c37

Please sign in to comment.