diff options
| author | Alexander Potapenko <ramosian.glider@gmail.com> | 2022-05-20 16:28:48 +0200 |
|---|---|---|
| committer | Alexander Potapenko <ramosian.glider@gmail.com> | 2022-05-20 17:34:59 +0200 |
| commit | bc12afb1fa14a157c64bcdc5a1b59e6ff8776440 (patch) | |
| tree | e03bbdda6844f81110981fca675b0610210f9607 /executor/executor_akaros.h | |
| parent | cb1ac2e75516d296f0ed6884292eeb72916a6271 (diff) | |
dashboard/app: add #crash_div to style.css
Currently we're using a TEXTAREA on the /bug page to display logs,
which won't let us do fancy things like links.
Replacing it with a `<div id="crash_div"><p><pre>` will allow HTML
formatting.
Diffstat (limited to 'executor/executor_akaros.h')
0 files changed, 0 insertions, 0 deletions