diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-11 11:47:06 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-11 11:47:06 +0000 |
| commit | 59f9f9dd1742e5b50a0f6893fb88325d4e3bc1ea (patch) | |
| tree | 66d074c576963c0e68a9df8c1182bdd31f327310 /src/example-based | |
| parent | 5bce1d7a1691d927017821bb8d32dfc31ba9376a (diff) | |
minibar.html: add debug element
to allow debug output from the syntax editor when it is started from the
minibar.
Also fix broken markup.
Diffstat (limited to 'src/example-based')
0 files changed, 0 insertions, 0 deletions