diff graphics/gtksourceview/gtksourceview.sha1 @ 828:2a99d51e3ad3

graphics/wayland: many fixes and rename DOXYGEN to DOCS option
author David Demelier <markand@malikania.fr>
date Thu, 22 Aug 2019 20:30:00 +0200
parents c8c69bbe438a
children
line wrap: on
line diff