Skip to content

Commit

Permalink
Remove external/eigen submodule altogether
Browse files Browse the repository at this point in the history
  • Loading branch information
Matthew Mott committed Apr 11, 2021
1 parent b32d7f7 commit 1311395
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions .gitmodules

This file was deleted.

0 comments on commit 1311395

Please sign in to comment.