search

formal-methods-mpi / Workshop.jl

https://formal-methods-mpi.github.io/Workshop.jl/
Creative Commons Zero v1.0 Universal
1 stars 1 forks source link

HTML comment visible #140

Open Maximilian-Stefan-Ernst opened 11 months ago

Maximilian-Stefan-Ernst commented 11 months ago

In Chapter "home" - "during the workshop" is a visible html comment