| Matteo Scandolo | 4208f11 | 2016-08-10 17:02:02 -0700 | [diff] [blame] | 1 | <div id="shell-panel"> |
| Matteo Scandolo | ef96992 | 2016-08-11 13:49:12 -0700 | [diff] [blame] | 2 | <div> |
| 3 | Type <code>help</code> or hit <code>TAB</code> for a list of commands. | ||||
| 4 | </div> | ||||
| Matteo Scandolo | 4208f11 | 2016-08-10 17:02:02 -0700 | [diff] [blame] | 5 | <div id="shell-view"></div> |
| 6 | </div> | ||||