artiq/doc
Stephan Maka 9bead085c7 manual: fix wavedrom extension json syntax
The leading empty line seems to be required by Sphinx 1.8.3.

The arguments must be strict JSON when prerendering for a target that is
not "html". Browser JSON parsing may have been more lenient.

Signed-off-by: Stephan Maka <stephan@spaceboyz.net>
2019-02-21 11:28:11 +08:00
..
logo update logo 2016-04-30 00:30:24 +08:00
manual manual: fix wavedrom extension json syntax 2019-02-21 11:28:11 +08:00
slides doc: Fix ancient trigger code in slides 2018-11-03 20:33:19 +08:00