Jiri Danek ee68421388 gnome-sharp: mono4 -> mono5		2019-08-08 09:10:38 +00:00
..
default.nix	gnome-sharp: mono4 -> mono5	2019-08-08 09:10:38 +00:00
fix-mono-path.patch	gnome-sharp: mono4 -> mono5	2019-08-08 09:10:38 +00:00