summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Monnier <monnier@iro.umontreal.ca>2020-12-18 23:57:58 -0500
committerStefan Monnier <monnier@iro.umontreal.ca>2020-12-18 23:57:58 -0500
commitf1727b0c61b851c1f7f9092b83befee1d0eb76e5 (patch)
tree444da5e31d46a34248caa7a2cdac7ea1cbb10021
New dummy branch to announce deletionmaster
-rw-r--r--BRANCH DELETED0
-rw-r--r--USE BRANCH `main` INSTEAD0
2 files changed, 0 insertions, 0 deletions
diff --git a/BRANCH DELETED b/BRANCH DELETED
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/BRANCH DELETED
diff --git a/USE BRANCH `main` INSTEAD b/USE BRANCH `main` INSTEAD
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/USE BRANCH `main` INSTEAD