jeluard 214adccbdb Merge branch 'master' of github.com:jeluard/pluto		2018-10-14 09:57:19 +02:00
..
assets	[Fixes #45] Updated artifact name	2018-08-14 09:35:11 +02:00
build	[Fixes #35] Migrated exising doc to docusaurus	2018-07-26 16:35:54 +02:00
concepts	Update documentation to reflect latest syntax	2018-10-14 09:56:47 +02:00
decisions	[#3] Introduce standardized errors	2018-06-28 16:30:32 +02:00
CODEOWNERS	Added Bruce	2018-10-11 15:51:54 +02:00
Development.md	Added development guidelines	2018-06-26 09:45:44 +02:00
Manifesto.md	[Fixes #35] Migrated exising doc to docusaurus	2018-07-26 16:35:54 +02:00
Principles.md	Implementing queries/events-#8	2018-08-28 14:43:09 +02:00
Roadmap.md	[Fixes #45] Updated artifact name	2018-08-14 09:35:11 +02:00