Merge remote-tracking branch 'origin/community' into community

This commit is contained in:
Jef 2024-09-24 21:52:34 +02:00
commit 7a9f8ae3c3

View file

@ -17,7 +17,7 @@ else:
VCPKG_PATH = Path(__file__).parent / 'vcpkg' VCPKG_PATH = Path(__file__).parent / 'vcpkg'
if len(sys.argv) > 3: if len(sys.argv) > 3:
print("the argumnets after the second one are ignored") print("the arguments after the second one are ignored")
if not VCPKG_PATH.exists(): if not VCPKG_PATH.exists():