Skip to content
Permalink
Browse files

.k.rev: ac5eb84071520ba4b20877f2004e3c440759fd21 Test K-refactor for …

…spec automaton.
  • Loading branch information...
denis-bogdanas committed Jun 12, 2019
1 parent 3fb5c70 commit fa1906d04e9d242e172f705250c495fab406f490
Showing with 3 additions and 3 deletions.
  1. +1 −1 .build/.k.rev
  2. +1 −1 erc20/.build/.k.rev
  3. +1 −1 uniswap/.build/.k.rev
@@ -1 +1 @@
302f3831b7ab70a6626a84178027a8f16054185b
ac5eb84071520ba4b20877f2004e3c440759fd21
@@ -1 +1 @@
302f3831b7ab70a6626a84178027a8f16054185b
ac5eb84071520ba4b20877f2004e3c440759fd21
@@ -1 +1 @@
302f3831b7ab70a6626a84178027a8f16054185b
ac5eb84071520ba4b20877f2004e3c440759fd21

0 comments on commit fa1906d

Please sign in to comment.
You can’t perform that action at this time.