diff options
Diffstat (limited to 'tools/gui/resources/web/index.html')
| -rw-r--r-- | tools/gui/resources/web/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gui/resources/web/index.html b/tools/gui/resources/web/index.html index 100c65b..9bf76f8 100644 --- a/tools/gui/resources/web/index.html +++ b/tools/gui/resources/web/index.html @@ -52,7 +52,7 @@ <div id="examples"></div> <div id="example-browser"> <div id="file-browser"></div> - <pre id="code-browser"><code></code></pre> + <div id="code-browser"></div> </div> <hr> <button id="copy-project-btn" onclick="copyProject()">copy example</button> |