Delete env_web directory

This commit is contained in:
Teddy-1024
2024-08-07 08:57:50 +01:00
committed by GitHub
parent cb5169f763
commit e097640b2a
1831 changed files with 0 additions and 244423 deletions

View File

@@ -1,19 +0,0 @@
import sys
import subprocess
def __optim_args_from_interpreter_flags():
"""Return a list of command-line arguments reproducing the current
optimization settings in sys.flags."""
args = []
value = sys.flags.optimize
if value > 0:
args.append("-" + "O" * value)
return args
_optim_args_from_interpreter_flags = getattr(
subprocess,
"_optim_args_from_interpreter_flags",
__optim_args_from_interpreter_flags,
)