diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-07 15:09:59 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-07 15:09:59 +0000 |
| commit | 339de4c281e99e50e0814295118dad03dcb72e0b (patch) | |
| tree | 0d8ad094d73c636968adf8cbe6b4e85f554e76f5 /src/server/RunHTTP.hs | |
| parent | 5f84c536812730ed581af5f8523d1676f1966fba (diff) | |
use TabBar for the links in the upper-left corner of the editor
Diffstat (limited to 'src/server/RunHTTP.hs')
0 files changed, 0 insertions, 0 deletions