Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/jgraph/drawio-desktop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Benson <david@draw.io>2022-05-03 18:46:31 +0300
committerGitHub <noreply@github.com>2022-05-03 18:46:31 +0300
commitff575bb609ceacec38eed037dd41d73d0dcda56d (patch)
treefe5ac250147ee2c70db35264c9793f7dce32d59d
parentfa2350297df128531f66f68c6a2e9b7580ff070d (diff)
Update .gitmodules
-rw-r--r--.gitmodules2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules
index 1dbcf88..bb28031 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,4 +1,4 @@
[submodule "drawio"]
path = drawio
url = https://github.com/jgraph/drawio.git
- branch = master
+ branch = dev