worldofpeace f03b26c134 gtk-doc: 1.30 -> 1.32 ... Drop patch for "Wrong permissions for style CSS file". It was fixed in 1.31 https://gitlab.gnome.org/GNOME/gtk-doc/blob/GTK_DOC_1_32/NEWS		2019-10-12 17:25:59 -04:00
..
default.nix	gtk-doc: 1.30 -> 1.32	2019-10-12 17:25:59 -04:00
respect-xml-catalog-files-var.patch