2 Commits (1ce5d795be188898f8fce787317e83b12b296d45)

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