2 Commits (8b19d249b25c8812c39c877c17713e9182eda78a)

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