5 Commits

Author	SHA1	Message	Date
Dmitry Bushev	e92b9d0fc0	Store Project Manager Metadata in Project Directory (#1120) ... Project Manager to stores its metadata inside the project directory, instead of maintaining the global index. This will allow users to move and modify files inside the ~/enso directory.	2020-09-07 12:25:14 +03:00
Ara Adkins	f5ffbe8fa7	Add a markdown style guide (#1022)	2020-07-21 13:59:40 +01:00
Dmitry Bushev	b8ff893840	Enable FlakySpec only on Windows (#1015)	2020-07-20 17:13:37 +03:00
Dmitry Bushev	01217d036c	Increase timeouts on Windows CI (#988)	2020-07-14 14:44:40 +03:00
Ara Adkins	919ffbdfac	Refactor the crate structure (#967)	2020-07-03 14:42:45 +01:00