Laurens Valk 3b71bce0b0 doc/main: Build IDE docs from main docs. ...

With EV3 dropped from the 3.X documentation, the main docs are now nearly identical to the IDE docs, save for some layout changes.

Having just one set of docs is easier to maintain. This drops the IDE doc target.

2021-07-23 12:56:33 +02:00

..

workflows

doc/main: Build IDE docs from main docs.

2021-07-23 12:56:33 +02:00

FUNDING.yml

config: create funding file

2020-10-09 19:58:23 +02:00