devtools/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2026-04-10 11:34:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

Rename plugin headers to .inc.

Browse Source
This commit is contained in:
Antonio Sánchez
2023-08-21 16:26:11 +00:00
committed by Rasmus Munk Larsen
parent 6e4d5d4832
commit 2873916f1c
14 changed files with 18 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files