diff --git a/.gitmodules b/.gitmodules index 1c99ee61859..df3b751b4fe 100644 --- a/.gitmodules +++ b/.gitmodules @@ -2,6 +2,3 @@ path = experiments/kotlin-ir url = git@github.com:JetBrains/kotlin.git branch = rr/pdn_ir_prototype -[submodule "experiments/kni"] - path = experiments/kni - url = https://github.com/SvyatoslavScherbina/kni diff --git a/experiments/kni b/experiments/kni deleted file mode 160000 index 147829a017e..00000000000 --- a/experiments/kni +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 147829a017e0342bd275d70f86c2f9825d6aa534