/tools/tryselect/selectors/
drwxr-xr-x [up]
drwxr-xr-x chooser
-rw-r--r-- 2019-01-12 00:00 +0200 0 __init__.py
-rw-r--r-- 2019-01-12 00:00 +0200 2128 again.py
-rw-r--r-- 2019-01-12 00:00 +0200 14633 coverage.py
-rw-r--r-- 2019-01-12 00:00 +0200 685 empty.py
-rw-r--r-- 2019-01-12 00:00 +0200 8169 fuzzy.py
-rw-r--r-- 2019-01-12 00:00 +0200 3926 release.py
-rw-r--r-- 2019-01-12 00:00 +0200 22777 syntax.py