Skip to content

Commit aa4561f

Browse files
committed
#2898 delete casadi-headers submodule
1 parent 639b6b4 commit aa4561f

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

casadi-headers

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)