Gtef library renamed to Tepl - Text editor product line

[Sébastien Wilmet <swilmet gnome org>]

Hi,

On Sat, Mar 11, 2017 at 08:20:18AM +0100, Sébastien Wilmet wrote:
> I'm developing a new library called Gtef, to ease the development of
> GtkSourceView-based text editors and IDEs:
>
> https://wiki.gnome.org/Projects/Gtef
>
> And this mailing list (gnome-devtools) will be the mailing list of Gtef,
> since it is also the mailing list of GtkSourceView and other similar
> projects.

The library has been renamed to Tepl (Text editor product line):
https://wiki.gnome.org/Projects/Tepl
https://blogs.gnome.org/swilmet/2017/06/15/gtef-library-renamed-to-tepl-text-editor-product-line/

Cheers,
Sébastien