Skip to content

Commit 24c6c9f

Browse files
lenianivalenianiva
authored
Merge pull request #142 from stanford-centaur/version/v0.3.7
chore: Update version
2 parents 69351f2 + 7dd9608 commit 24c6c9f

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

‎pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[project]
22
name = "pantograph"
3-
version = "0.3.6"
3+
version = "0.3.7"
44
description = "A machine-to-machine interaction system for Lean"
55
license = "Apache-2.0"
66
readme = "README.md"

‎uv.lock‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)