157 commits

Author	SHA1	Message	Date
Jeremy Wu	47a69a322d	Merge branch 'dev' into update_ui	2020-05-08 12:41:57 +10:00
Ioannis G	cf2947dd94	remove unused includes in project files	2020-05-04 12:47:56 +03:00
Jeremy Wu	dbc53716ce	WebSearch plugin- Update layout	2020-05-04 14:49:32 +10:00
Ioannis G	ef95913aba	update projects with SatelliteResourceLanguages ... Without this property set, the output folder is populated with multiple culture-specific versions of `Fsharp.Core.resources.dll`	2020-05-02 19:52:41 +03:00
Jeremy Wu	acdea86a2d	update plugin.json url to point to current repo	2020-04-22 21:29:14 +10:00
Jeremy Wu	28d67c8c81	Rename further code and text	2020-04-21 22:54:41 +10:00
Jeremy Wu	3c7f067770	rename all project file name	2020-04-21 21:27:02 +10:00