chore(*): remove obsolete leanpkg.path files

2019-07-25 12:52:38 +02:00 · 2019-07-25 12:52:38 +02:00 · aef4a7159b
commit aef4a7159b
parent 53a26b94ff
6 changed files with 0 additions and 11 deletions
--- a/doc/examples/compiler/leanpkg.path
+++ b/doc/examples/compiler/leanpkg.path
@ -1,2 +0,0 @@
-builtin_path
-path .
--- a/library/leanpkg.path
+++ b/library/leanpkg.path
@ -1 +0,0 @@
-path .
--- a/tests/bench/leanpkg.path
+++ b/tests/bench/leanpkg.path
@ -1,2 +0,0 @@
-builtin_path
-path .
--- a/tests/lean/leanpkg.path
+++ b/tests/lean/leanpkg.path
@ -1,2 +0,0 @@
-builtin_path
-path .
--- a/tests/playground/leanpkg.path
+++ b/tests/playground/leanpkg.path
@ -1,2 +0,0 @@
-builtin_path
-path .
--- a/tests/playground/parser/leanpkg.path
+++ b/tests/playground/parser/leanpkg.path
@ -1,2 +0,0 @@
-builtin_path
-path .