Matthias Köfferlein 051a8bdc77 Fixed #651 (DRC "select" feature issues) (#654) ...

* WIP: added test case, fixed dup problem and '-' shortcut

* WIP: updated DRC doc and could not resist the temptation to fix 'it's' vs. 'its'

* Deep mode also working with select now. Updated tests.

2020-10-10 23:15:51 +02:00

8.6 KiB

Raw History

View Raw