-
Adrien Dorsaz authored
The GNOME Builder render on Debian is way better, even if the header is a bit less uglier for humans. Source: https://gitlab.gnome.org/GNOME/libxml2/commit/7607d9dd450275911eec5fcb66b69aacd13a4cc8
37fd576b
The GNOME Builder render on Debian is way better, even if the header is a bit less uglier for humans. Source: https://gitlab.gnome.org/GNOME/libxml2/commit/7607d9dd450275911eec5fcb66b69aacd13a4cc8