diff options
| author | Dmitry Sharshakov | 2021-08-20 13:48:59 +0000 |
|---|---|---|
| committer | Dmitry Sharshakov | 2021-08-20 13:48:59 +0000 |
| commit | c4970c617ed5f03dadce2a284b66539bf0ce3054 (patch) | |
| tree | 7565b51c56e3a6ccb7e0700e2fa3859e263bdd3b /.gitmodules | |
| parent | a54b09e3fe6eaf72ab7a4f3664efc0b8b7cf13fd (diff) | |
make CI green
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions