diff --git a/build.py b/build.py index d441fba..96e34a1 100755 --- a/build.py +++ b/build.py @@ -1029,7 +1029,6 @@ BASH experimenting: