Start 2.1.0-dev release cycle

Ivan-Velickovic · Ivan-Velickovic · commit c8a7da301a28 · 2025-11-26T13:25:46.000+10:00
Signed-off-by: Ivan Velickovic &lt;i.velickovic@unsw.edu.au&gt;
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-2.1.0
+2.1.0-dev
diff --git a/docs/manual.md b/docs/manual.md
@@ -4,7 +4,7 @@
 -->
 
 ---
-title: Microkit User Manual (v2.1.0)
+title: Microkit User Manual (v2.1.0-dev)
 documentclass: article
 classoption:
 - english
diff --git a/initialiser/Cargo.toml b/initialiser/Cargo.toml
@@ -6,7 +6,7 @@
 
 [package]
 name = "initialiser"
-version = "2.1.0"
+version = "2.1.0-dev"
 edition = "2021"
 rust-version = "1.88.0"
 
diff --git a/tool/microkit/Cargo.toml b/tool/microkit/Cargo.toml
@@ -6,7 +6,7 @@
 
 [package]
 name = "microkit-tool"
-version = "2.1.0"
+version = "2.1.0-dev"
 edition = "2021"
 rust-version = "1.88.0"
 
