Laurens Valk 14ad697565 doc/start_ev3: use rst files instead of inc ...

Use standard sphinx conventions as much as possible.

2021-01-18 12:00:38 +01:00

..

api

doc/start_ev3: use rst files instead of inc

2021-01-18 12:00:38 +01:00

common

config: drop contentui plugin

2021-01-13 16:54:18 +01:00

make.bat

config: update windows make.bat to match Makefile

2020-03-18 17:30:42 -05:00

Makefile

config: separate make target for diagrams

2020-03-04 11:49:21 +01:00