Skip to content
Permalink
Browse files

remove submodule .build/evm-semantics

  • Loading branch information...
daejunpark committed Nov 1, 2018
1 parent 73ce058 commit c4b642c163346a5d2562585ac5f9f94adc01a99a
Showing with 0 additions and 4 deletions.
  1. +0 −1 .build/evm-semantics
  2. +0 −3 .gitmodules
Submodule evm-semantics deleted from 3f2e33
@@ -2,6 +2,3 @@
path = .build/pandoc-tangle
url = https://github.com/ehildenb/pandoc-tangle
ignore = untracked
[submodule ".build/evm-semantics"]
path = .build/evm-semantics
url = https://github.com/kframework/evm-semantics

0 comments on commit c4b642c

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