editors/__init__.py
author |
Edouard Tisserant |
|
Tue, 02 Feb 2021 11:17:03 +0100 |
branch | svghmi |
changeset 3122 |
229795c03e11 |
parent 814 |
5743cbdff669
|
permissions |
-rw-r--r-- |
SVGHMI: make a copy of tests/svghmi as test/svghmi_widget because too crowded since having pages for widget documentation. Strip those pages from tests/svghmi, so that it
is more light for regular testing.