diff --git a/Pantograph/Version.lean b/Pantograph/Version.lean index d71bedb..67cbb8f 100644 --- a/Pantograph/Version.lean +++ b/Pantograph/Version.lean @@ -1,5 +1,5 @@ namespace Pantograph -def version := "0.2.10" +def version := "0.2.10-alpha" end Pantograph