Skip to content

Remove typed graphics

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/

Merge request reports