Nothing more to say. You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany-plugins/pull/888
-- Commit Summary --
* workbench: added short history to README
-- File Changes --
M workbench/README (26)
-- Patch Links --
https://github.com/geany/geany-plugins/pull/888.patch https://github.com/geany/geany-plugins/pull/888.diff
Merged #888 into master.
github-comments@lists.geany.org