diff options
author | Kornel <kornel@geekhood.net> | 2018-07-24 02:34:53 +0100 |
---|---|---|
committer | Kornel LesiĆski <kornel@geekhood.net> | 2018-07-27 00:27:58 +0100 |
commit | f88a650ef45ac15ad9f876ce02d50b95091df898 (patch) | |
tree | 03501095c23d007a1eda643b85c448e96849292a | |
parent | c8673e427ccceaa69b5f0e26557008a6362535a8 (diff) |
crate_git_checkout submodule
-rw-r--r-- | .gitmodules | 3 | ||||
-rw-r--r-- | Cargo.toml | 4 | ||||
m--------- | crate_git_checkout | 5 |
3 files changed, 12 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 5ce544b..13d82f4 100644 --- a/.gitmodules +++ b/.gitmodules @@ -55,3 +55,6 @@ [submodule "front_end"] path = front_end url = https://gitlab.com/crates.rs/front_end.git +[submodule "crate_git_checkout"] + path = crate_git_checkout + url = https://gitlab.com/crates.rs/crate_git_checkout.git @@ -18,6 +18,7 @@ members = [ "rich_crate", "simple_cache", "user_db", +"crate_git_checkout", ] [profile.dev] @@ -37,6 +38,9 @@ crate_db = { path = "crate_db" } [patch.'https://gitlab.com/crates.rs/crate_files.git'] crate_files = { path = "crate_files" } +[patch.'https://gitlab.com/crates.rs/crate_git_checkout.git'] +crate_git_checkout = { path = "crate_git_checkout" } + [patch.'https://gitlab.com/crates.rs/crates_io_client.git'] crates_io_client = { path = "crates_io_client" } diff --git a/crate_git_checkout b/crate_git_checkout new file mode 160000 +Subproject 503905c0d238a69eb1f4b6621e858c43f853a68 |