Use k-web-theme submodule - Githubissues

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

Other

131 stars 33 forks source link

Use k-web-theme submodule #221

Closed shd101wyy closed 3 years ago

shd101wyy commented 3 years ago

Currently blocked by https://github.com/runtimeverification/k-web-theme/pull/1 Fixes https://github.com/runtimeverification/web-common/issues/100