2 Commits (d2bd25cad139830268dbf333f21ff56109ce3399)

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