Skip to content

Commit

Permalink
Bump version number
Browse files Browse the repository at this point in the history
  • Loading branch information
@PatrickMassot
PatrickMassot committed Mar 20, 2024
1 parent 8d60ad6 commit 28c8879
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion setup.cfg
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ name = leanblueprint
description = Lean prover blueprint plasTeX plugin.
long_description = file: README.md
long_description_content_type = text/markdown
version = 0.0.4
version = 0.0.5
author = Patrick Massot
url = https://github.com/PatrickMassot/leanblueprint
classifiers=
Expand Down

0 comments on commit 28c8879

Please sign in to comment.