Gtef library renamed to Tepl - Text editor product line

Hi,

On Sat, Mar 11, 2017 at 08:20:18AM +0100, S=E9bastien 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-tex=
t-editor-product-line/

Cheers,
S=E9bastien