Skip to content

Commit 77ebd1c

Browse files
committed
chore: Bump to v0.3.9
1 parent adf3433 commit 77ebd1c

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.8"
3+
version = "0.3.9"
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)