geany-plugins-workbench: workbench plugin for Geany text editor

    2024-04-01 20:53       81939 usr/lib/geany/workbench.dll
    2024-04-01 20:53           0 usr/share/doc/geany-plugins/workbench/
    2024-04-01 20:53          11 usr/share/doc/geany-plugins/workbench/AUTHORS
    2024-04-01 20:53           0 usr/share/doc/geany-plugins/workbench/ChangeLog
    2024-04-01 20:53       17984 usr/share/doc/geany-plugins/workbench/COPYING
    2024-04-01 20:53          62 usr/share/doc/geany-plugins/workbench/NEWS
    2024-04-01 20:53       10097 usr/share/doc/geany-plugins/workbench/README