14 Commits

Author	SHA1	Message	Date
Sebastien Bourdeauducq	5ecfa8197f	doc: clarify usage of pause/check_pause, closes #571	2016-10-17 20:08:43 +08:00
Robert Jördens	ecda94705e	doc/management_system: point out check_pause() (closes #522)	2016-07-21 16:42:09 +02:00
Sebastien Bourdeauducq	7453d85d5e	GUI -> dashboard	2016-04-04 22:12:45 +08:00
Sebastien Bourdeauducq	5e14afde3e	scheduler: use current (last scanned) repo revision instead of HEAD	2015-12-06 19:00:41 +08:00
Sebastien Bourdeauducq	2c77c80b4f	master: expose more scheduler APIs to the experiments	2015-10-30 13:41:18 +08:00
Sebastien Bourdeauducq	ceb18d05b3	manual/management: add warning about setups that resolve the current hostname to localhost. closes #134	2015-10-13 01:47:18 +08:00
Sebastien Bourdeauducq	12b3157009	doc: add precision about Git commit management	2015-08-14 10:37:45 +08:00
Sebastien Bourdeauducq	d9d74661c1	doc: scheduling	2015-08-10 15:17:02 +08:00
Sebastien Bourdeauducq	9772676f2d	doc: cleanup shell prompts	2015-08-10 15:16:52 +08:00
Sebastien Bourdeauducq	799a58a442	doc: minor cleanup	2015-08-09 14:14:55 +08:00
Sebastien Bourdeauducq	e8aa825a9d	doc: git integration	2015-08-08 22:27:57 +08:00
Sebastien Bourdeauducq	7299a2cf02	doc/manual/management: add short descriptions of tools	2015-02-15 14:55:15 -07:00
Sebastien Bourdeauducq	17685d1e98	controller manager skeleton	2015-02-06 12:17:51 +08:00
Sebastien Bourdeauducq	9fb42e4952	doc: use sphinx-argparse	2015-01-23 00:52:13 +08:00