| Thu, 04 Oct 2018 17:24:40 +0300 |
Andrey Skvortsov |
python3 support: pylint, W1612 # (unicode-builtin) unicode built-in referenced
|
changeset |
files
|
| Thu, 04 Oct 2018 12:09:23 +0300 |
Andrey Skvortsov |
Use multiple processes to speed up pylint
|
changeset |
files
|
| Thu, 04 Oct 2018 12:07:16 +0300 |
Andrey Skvortsov |
python3 support: pylint, W1613 # (xrange-builtin) xrange built-in referenced
|
changeset |
files
|
| Thu, 04 Oct 2018 11:25:42 +0300 |
Andrey Skvortsov |
python3 support: pylint, W1648 # (bad-python3-import) Module moved in Python 3
|
changeset |
files
|
| Fri, 23 Nov 2018 00:45:51 +0100 |
Edouard Tisserant |
Fixed regression in connecting to LOCAL:// targets
|
changeset |
files
|
| Fri, 23 Nov 2018 00:33:04 +0100 |
Edouard Tisserant |
Merge, with surprizingly little conflicts
|
changeset |
files
|
| Thu, 22 Nov 2018 23:39:54 +0100 |
Edouard Tisserant |
IDManager : finished Import/Export. Added merging capability to import (asks if particular ID is replaced during import). Added ESC as closing shortcut to IDManager dialog, and adjusted its size.
|
changeset |
files
|