Fri, 22 Feb 2019 19:37:00 +0100 | Detlev Offenbach | PipPage: fixed a source docu issue. | file | diff | annotate |
Sun, 17 Feb 2019 19:19:30 +0100 | Detlev Offenbach | PipInterface: started to convert the pip interface from a menu based plug-in to a widget based interface to be placed in the right side tools bar. | file | diff | annotate | base |