/WebBrowser/TabManager/

drwxr-xr-x [up]
-rw-r--r-- 2018-06-13 19:05 +0200 21211 TabManagerWidget.py file | revisions | annotate
-rw-r--r-- 2018-06-13 19:05 +0200 151 __init__.py file | revisions | annotate

eric ide

mercurial