Remove daml-ghcide submodule accidentally checked-in by #17215 (#17333)

* Remove daml-ghcide submodule accidentally checked-in by #17215

* gitignore /daml-ghcide
This commit is contained in:
Moisés Ackerman 2023-08-28 17:59:01 +02:00 committed by GitHub
parent 31c3dfbb48
commit 0f544c74bc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 1 deletions

6
.gitignore vendored
View File

@ -1,6 +1,12 @@
# private configuration
.envrc.private
# local development
## these are sometimes defined as symlinks for local development,
## but should never be checked in because they break
## `git clone --recursive` for repos that have `daml` as a submodule.
/daml-ghcide
# Artifacts
dist
.interfaces

@ -1 +0,0 @@
Subproject commit 89d20f2125d9296ad1ffe7fac44c3ce7975ba044