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