diff options
| author | Max Drosdo.www <g1ran1q@gmail.com> | 2020-08-22 05:36:44 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-21 22:36:44 -0400 |
| commit | 73288beb156e378342f2651cbefd0660b43cef17 (patch) | |
| tree | 2afe36cbcc71a7051723ec9c85ae0bd12c0e7863 /tools/util.py | |
| parent | d444bd89dbc696b2510438be5e9119c7ac539766 (diff) | |
Remove old references to libdeno (#7149)
Diffstat (limited to 'tools/util.py')
| -rw-r--r-- | tools/util.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/util.py b/tools/util.py index e5dcaccce..889afae82 100644 --- a/tools/util.py +++ b/tools/util.py @@ -20,7 +20,6 @@ else: executable_suffix = ".exe" if os.name == "nt" else "" root_path = os.path.dirname(os.path.dirname(os.path.realpath(__file__))) -libdeno_path = os.path.join(root_path, "core", "libdeno") tests_path = os.path.join(root_path, "cli/tests") third_party_path = os.path.join(root_path, "third_party") |