search

dapphub / klab

K framework proof explorer & smart contract specification format
GNU Affero General Public License v3.0
124 stars 36 forks source link

report: fetch url is editable #408

Open asymmetric opened 4 years ago

asymmetric commented 4 years ago

The field containing the URL to fetch is editable (the contents can be changed), which doesn't make sense.