Skip to content

Commit 48e9abd

Browse files
rv-jenkinsrv-auditor
rv-jenkins
and
rv-auditor
authored
Update dependency: deps/pyproject-build-systems (#847)
Co-authored-by: devops <devops@runtimeverification.com>
1 parent 0b8189a commit 48e9abd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎deps/pyproject-build-systems‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5
1+
795a980d25301e5133eca37adae37283ec3c8e66

0 commit comments

Comments
 (0)