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
1,904 Commits 15 Branches 93 Tags
1aaa9059c01c105a97405ddf38e671fb89656c8b
Commit Graph

2 Commits

Author SHA1 Message Date
Benoit Jacob
7e3c4096d8 xargs ---> xargs echo 
(xargs alone doesnt seem to be documented in the man page, while xargs echo is documented)
 2009-11-12 15:37:50 -05:00
Benoit Jacob
9b7708f660 introduce check target, and some renaming 2009-11-12 15:02:52 -05:00