aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity

chore: Version downgrade to 0.2.10-alpha 

There is a currently known bug
This commit is contained in:
Leni Aniva 2023-12-07 12:36:43 -08:00
parent 4871133027
commit de2688ccfa
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Pantograph/Version.lean
View File

@ -1,5 +1,5 @@
namespace Pantograph
def version := "0.2.10"
def version := "0.2.10-alpha"
end Pantograph