diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-21 19:01:52 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-21 19:01:52 +0000 |
| commit | 7bcf05e3e7b3181c685d61102c435bac81d53e84 (patch) | |
| tree | 0a37339519d1a35d5e1190bf64a5958b5e2cbd65 /src/runtime | |
| parent | e7b14316dd3f76e0cca346430a7937fbf8dc7f1e (diff) | |
minibar: fix bug introduced in previous update
It could case JavaScript error
ReferenceError: initial_grammar is not defined
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions