Jo Shields 35bbb47fa7 Bump fsharp ver		2018-03-22 11:38:14 -04:00
patches	Fixes for https://github.com/mono/monodevelop/issues/3539	2018-01-12 11:30:19 -05:00
.gitignore	Build proper appstream	2017-03-20 20:51:40 +00:00
Makefile	Build proper appstream	2017-03-20 20:51:40 +00:00
com.xamarin.MonoDevelop.json	Bump fsharp ver	2018-03-22 11:38:14 -04:00