leanprover
diff --git a/‎tests/lake/tests/lakefileSchema/clean.sh‎
Lines changed: 0 additions & 1 deletion b/‎tests/lake/tests/lakefileSchema/clean.sh‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎tests/lake/tests/lakefileSchema/invalid/require_git_empty.toml‎
Lines changed: 0 additions & 15 deletions b/‎tests/lake/tests/lakefileSchema/invalid/require_git_empty.toml‎
Lines changed: 0 additions & 15 deletions
diff --git a/‎tests/lake/tests/lakefileSchema/invalid/require_git_extra_fields.toml‎
Lines changed: 0 additions & 15 deletions b/‎tests/lake/tests/lakefileSchema/invalid/require_git_extra_fields.toml‎
Lines changed: 0 additions & 15 deletions
diff --git a/‎tests/lake/tests/lakefileSchema/invalid/require_git_missing_url.toml‎
Lines changed: 0 additions & 15 deletions b/‎tests/lake/tests/lakefileSchema/invalid/require_git_missing_url.toml‎
Lines changed: 0 additions & 15 deletions
diff --git a/‎tests/lake/tests/lakefileSchema/test.sh‎
Lines changed: 0 additions & 16 deletions b/‎tests/lake/tests/lakefileSchema/test.sh‎
Lines changed: 0 additions & 16 deletions
diff --git a/‎tests/lake/tests/lakefileSchema/valid/default.toml‎
Lines changed: 0 additions & 10 deletions b/‎tests/lake/tests/lakefileSchema/valid/default.toml‎
Lines changed: 0 additions & 10 deletions
diff --git a/‎tests/lake/tests/lakefileSchema/valid/require_git_string.toml‎
Lines changed: 0 additions & 15 deletions b/‎tests/lake/tests/lakefileSchema/valid/require_git_string.toml‎
Lines changed: 0 additions & 15 deletions
diff --git a/‎tests/lake/tests/lakefileSchema/valid/require_git_url_only.toml‎
Lines changed: 0 additions & 15 deletions b/‎tests/lake/tests/lakefileSchema/valid/require_git_url_only.toml‎
Lines changed: 0 additions & 15 deletions
diff --git a/‎tests/lake/tests/lakefileSchema/valid/require_git_url_subdir.toml‎
Lines changed: 0 additions & 15 deletions b/‎tests/lake/tests/lakefileSchema/valid/require_git_url_subdir.toml‎
Lines changed: 0 additions & 15 deletions