| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-07-20 | Make the tutorial to compile again | Eugen Wissner | |
| - Remove generated documentation leaving only documentation sources. - Add CI job checking that the tutorial is up to date. | |||
| 2019-07-04 | Update CI settings | Eugen Wissner | |
