From c77ac8d6e5c00a76af1fe5253729a803556a9f60 Mon Sep 17 00:00:00 2001 From: Jan Bliznicenko Date: Mon, 28 Oct 2024 11:04:20 +0100 Subject: [PATCH] renamed markov-chains main branch to master --- .github/dependent-repositories.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/dependent-repositories.txt b/.github/dependent-repositories.txt index bd492990..5e420bcb 100644 --- a/.github/dependent-repositories.txt +++ b/.github/dependent-repositories.txt @@ -5,6 +5,6 @@ { "repository" : "OpenPonk/petrinets", "branch" : "master", "build-dependent" : false }, { "repository" : "OpenPonk/fsm-editor", "branch" : "master", "build-dependent" : false }, { "repository" : "OpenPonk/BPMN", "branch" : "master", "build-dependent" : false }, - { "repository" : "OpenPonk/markov-chains", "branch" : "main", "build-dependent" : false } + { "repository" : "OpenPonk/markov-chains", "branch" : "master", "build-dependent" : false } ] }