On Mon, 6 Jul 2015 14:33:21 -0300Diego Viola <diego.viola@gmail.com> wrote:> - "make gconfig" X windows (Gtk) based configuration tool.> + "make gconfig" X windows (GTK+) based configuration tool.Applied to the docs tree, thanks.jon