Skip to content

bootstrap: add .gitmodules to the sources#111201

Merged
bors merged 1 commit intorust-lang:masterfrom
krasimirgg:add_gitmodules
May 4, 2023
Merged

bootstrap: add .gitmodules to the sources#111201
bors merged 1 commit intorust-lang:masterfrom
krasimirgg:add_gitmodules

Commits

Commits on May 4, 2023