mirror of
https://gitlab.com/libeigen/eigen.git
synced 2026-04-10 11:34:33 +08:00
Remove this old file. It was stalling in history because of a bug in svn,
which did not prevent the commit (svn r722564) to 'svn copy' a directory called 'Core/' on top of an existing file 'Core' see http://websvn.kde.org/?view=rev&revision=722564
This commit is contained in: