Jussi Pakkanen 7c7dc0efde Fix a stray variable renaming. Closes #1952. vor 7 Jahren
..
__init__.py 0c83f8352d dependencies: Add a new class ExternalDependency vor 7 Jahren
base.py 73c06780f9 Make external library no-op when used with incompatible target (#1941) vor 7 Jahren
dev.py ea3e28dbb9 valgrind: Fix __init__ call vor 7 Jahren
misc.py 9308a6d923 tests: Add Boost unit tests and project tests on Windows vor 7 Jahren
platform.py 0c83f8352d dependencies: Add a new class ExternalDependency vor 7 Jahren
ui.py 7c7dc0efde Fix a stray variable renaming. Closes #1952. vor 7 Jahren