2 Commits (484a95978f9a956ec6180f5eb3718d81a80dd592)

Author SHA1 Message Date
Lorenz Meier c912be70d1 Update approach to obtain the head git hash 10 years ago
James Goppert bf18c84652 Cleanup of module building. 10 years ago