Remove typed graphics
Properly removed typed-graphics submodule.
What was missing was the following commands:
git rm --cached extern/typed-graphics/
git rm --cached extern/volk/
Properly removed typed-graphics submodule.
What was missing was the following commands:
git rm --cached extern/typed-graphics/
git rm --cached extern/volk/
mentioned in commit 65ef0392
merged