Skip to content

Commit

Permalink
deps/k_release: correct URL
Browse files Browse the repository at this point in the history
  • Loading branch information
@ehildenb
ehildenb committed Jul 26, 2019
1 parent d2992de commit 9aaa8bf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/k_release
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
https://github.com/kframework/k/releases/tag/nightly-ec2e4e7b5
https://github.com/kframework/k/releases/download/nightly-ec2e4e7b5

0 comments on commit 9aaa8bf

Please sign in to comment.