Searched hist:"1 e25a746b1a31e71aaccbb0332aa28240dc5d54d" (Results 1 – 1 of 1) sorted by relevance
| /libCEED/ | ||
| H A D | Makefile | diff 1e25a746b1a31e71aaccbb0332aa28240dc5d54d Sat Feb 03 16:41:55 UTC 2018 Jed Brown <jed@jedbrown.org> make install: avoid non-portable GNU install options |