diff options
| author | Timo Wilken | 2022-10-30 12:24:32 +0100 |
|---|---|---|
| committer | Timo Wilken | 2022-10-30 12:24:32 +0100 |
| commit | 3396d94d0aa98185336665357180c7c1e764398e (patch) | |
| tree | 80c8e4d958a4e602045f963034c255a9584632ed /.gitmodules | |
| parent | fcf5b9d9760145ae5de7d34794fc0f536db89665 (diff) | |
Don't use `with-imported-modules' for built-in modules
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions