.gitmodules

Branch


Log

Author Commit Date CI Message
Bruno Haible 4d1a21e0 2019-04-01T22:12:09 build: Separate git operations from build operations.