/ViewManager/ maintenance release-18.12

drwxr-xr-x [up]
-rw-r--r-- 2018-12-01 11:44 +0100 5709 BookmarkedFilesDialog.py file | revisions | annotate
-rw-r--r-- 2018-12-01 11:44 +0100 6843 BookmarkedFilesDialog.ui file | revisions | annotate
-rw-r--r-- 2018-12-01 11:44 +0100 295818 ViewManager.py file | revisions | annotate
-rw-r--r-- 2018-12-01 11:44 +0100 1838 __init__.py file | revisions | annotate

eric ide

mercurial