jer/hare-playground
1
Fork 0
Code Actions Activity

leave a message if js is disabled

Browse source
This commit is contained in:
Jan-Erik Rediger 2024-05-25 18:43:26 +02:00
parent c24012a15a
commit 5ac69ba7e2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
frontend/index.html
View file

@ -21,7 +21,7 @@
<a href="https://docs.harelang.org/">Standard Library Reference</a> <a href="https://docs.harelang.org/">Standard Library Reference</a>
</span> </span>
<div class="editor language-c"></div> <div class="editor language-c">Sorry, this playground requires JavaScript. :(</div>
<codapi-settings url="https://hare-exec.fly.dev/v1"></codapi-settings> <codapi-settings url="https://hare-exec.fly.dev/v1"></codapi-settings>
<codapi-snippet sandbox="hare" editor="external" selector=".editor"></codapi-snippet> <codapi-snippet sandbox="hare" editor="external" selector=".editor"></codapi-snippet>