diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-09 11:16:42 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-09 11:16:42 +0200 |
| commit | 8fe9ef1bfb6264eab956c98e154891400ec9fe36 (patch) | |
| tree | a792a01d188053d76dab2d5a010aae13525e897c /.gitmodules | |
| parent | 1f5add513316b9f7544fe61631f76d4a61cf586e (diff) | |
CMake: Ensure the submodule is up to date
It remains to be seen if this is a sufficient safeguard.
IssueID #197
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions