Send Users mailing list submissions to

users@lists.geany.org

To subscribe or unsubscribe via the World Wide Web, visit

https://lists.geany.org/cgi-bin/mailman/listinfo/users

or, via email, send a message with subject or body 'help' to

users-request@lists.geany.org

You can reach the person managing the list at

users-owner@lists.geany.org

When replying, please edit your Subject line so it is more specific

than "Re: Contents of Users digest..."

Today's Topics:

1. Re: Build Server Protocol for geany? (Matthew Brush)

On 2018-06-20 12:13 AM, Lex Trotman wrote:

See #1458 for discussions about designing a suitable interface for

plugins to do such things. Afraid it seemed to run out over a year

ago with no concrete result.

Link: https://github.com/geany/geany/issues/1458

_______________________________________________

Users mailing list

Users@lists.geany.org

https://lists.geany.org/cgi-bin/mailman/listinfo/users