Skip to content

Commit

Permalink
compiler: upgrade time from 0.3.21 to 0.3.36
Browse files Browse the repository at this point in the history 
Fixes metamath#165
  • Loading branch information
@tirix
tirix committed Jul 30, 2024
1 parent 6d16caa commit 5ecfff6
Showing 1 changed file with 47 additions and 8 deletions.
55 changes: 47 additions & 8 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 5ecfff6

Please sign in to comment.