Skip to content

remove workshop directory

Jiří Brázdil requested to merge feature/remove_workshop into master

This directory and files were probably used for some workshop.

Merge request reports