Robert Jördens 0bd54921af move default TCP ports from 8887... to 3250... ... * 8888 is busy: IPython default among others * 3250 seems less so and is the house number times ten here		2015-01-13 10:56:44 +08:00
..
logo	manual: use theme options which looks like m-labs web site	2014-12-02 10:32:27 +08:00
manual	move default TCP ports from 8887... to 3250...	2015-01-13 10:56:44 +08:00
slides	refactor device/parameter management, immediate parameter updates, start introducing results	2015-01-12 18:51:23 +08:00