Migrate EV3 library docs to "modules" #1392
Labels
documentation
Enhancement
New feature or request
nice-to-have
Issue is a non-critical, non-important
The EV3 docs are currently hosted at https://docs.sourceacademy.org/EV3 (source files: ev3.js, EV3_README.md).
In line with the move to modularise remote execution (related issues: source-academy/modules#196, source-academy/frontend#2412), let us migrate these docs to be part of the modules documentation at https://source-academy.github.io/modules/documentation.
The text was updated successfully, but these errors were encountered: