12 Commits

Author	SHA1	Message	Date
Quentin Gliech	8a4e373e7b	webui: Use the new schema	2018-07-31 00:18:55 +02:00
Michael Muré	eb26dd8d74	cleaning	2018-07-27 01:57:14 +02:00
Michael Muré	a4d403de3a	cleaning	2018-07-26 12:47:52 +02:00
Quentin Gliech	78355c887a	Remove webui/build/ from git tree	2018-07-25 19:47:09 +02:00
Michael Muré	78e5ec36b4	commit the builded webui	2018-07-23 00:06:59 +02:00
Quentin Gliech	6d8559048f	webui: Basic bug list	2018-07-22 01:13:06 +02:00
Quentin Gliech	4901bdadd3	webui: Split into multiple, smaller components	2018-07-22 00:42:19 +02:00
Quentin Gliech	62c422fa96	Basic WebUI ... Based on Material-UI, react-router and react-apollo	2018-07-22 00:19:38 +02:00
Michael Muré	a2a50f3de0	webui: add a primitive graphql handler	2018-07-19 14:15:50 +02:00
Michael Muré	459bb8747d	add compiled webui	2018-07-18 18:55:07 +02:00
Michael Muré	bd56024b02	cleanup webui	2018-07-17 02:10:04 +02:00
Michael Muré	ead4511250	add the infrastructure for an embedded web UI + command	2018-07-16 22:25:50 +02:00