worldofpeace 5c3d3429f4 gnome3.gnome-documents: don't set buildtype ... Plain is now default.		2019-06-27 16:35:44 -04:00
..
default.nix	gnome3.gnome-documents: don't set buildtype	2019-06-27 16:35:44 -04:00