6 Commits

Author	SHA1	Message	Date
Yehuda Katz	f858e854bf	Fix a rebase mistake	2019-12-02 13:48:34 -08:00
Yehuda Katz	fe66b4c8ea	Merge remote-tracking branch 'origin/master' into protocol-extraction	2019-12-02 11:16:00 -08:00
Sebastian Jung	36938a4407	add documentation for save, config	2019-12-02 11:02:59 -08:00
Jonathan Turner	911414a190	Update config.md	2019-12-02 11:02:58 -08:00
Jonathan Turner	c63ad610f5	Update config.md	2019-12-01 06:59:53 +13:00
Sebastian Jung	fbb65cde44	add documentation for save, config	2019-11-29 18:15:51 +01:00