/ViewManager/ maintenance release-18.05

drwxr-xr-x [up]
-rw-r--r-- 2018-05-01 12:03 +0200 5709 BookmarkedFilesDialog.py file | revisions | annotate
-rw-r--r-- 2018-05-01 12:03 +0200 6843 BookmarkedFilesDialog.ui file | revisions | annotate
-rw-r--r-- 2018-05-01 12:03 +0200 295638 ViewManager.py file | revisions | annotate
-rw-r--r-- 2018-05-01 12:03 +0200 1838 __init__.py file | revisions | annotate

eric ide

mercurial