Removed all refs

pull/607/head
kompotkot 2022-05-11 13:17:25 +00:00
rodzic e5ecd2da41
commit 7aad6c1139
1 zmienionych plików z 1 dodań i 2 usunięć

Wyświetl plik

@ -15,8 +15,7 @@ let
(getEnv "MDP_GIT")
(fetchGit {
url = "git@gitlab.com:mixrank/mdp.git";
rev = "e40498c4c8098f1e5f932ed1425623aec2752945";
allRefs = true;
rev = "76707e9d08178633471fa3c98ef1b08e1e7bbb1c";
})
] ++ scm_repos;
});