search

mdenet / educationplatform-docker

Dockerized version of the education platform
Eclipse Public License 2.0
0 stars 1 forks source link

Update platform tools submodule to point to latest version #3

Closed szschaler closed 1 year ago

szschaler commented 1 year ago

To match https://github.com/mdenet/platformtools/pull/5