Skip to content
GitLab

Remove typed graphics

Merged Kersten Schuster requested to merge remove_typed_graphics into develop

Properly removed typed-graphics submodule. What was missing was the following commands: git rm --cached extern/typed-graphics/ git rm --cached extern/volk/