diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-29 21:15:40 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-29 21:15:40 +0200 |
| commit | bee61fe4aa2d17ba012bab16c685ee280331fa3c (patch) | |
| tree | 3c4fdac70a5ddd6973939bb5ed61351d01272f04 /src/runtime/javascript/editor.html | |
| parent | 78dfc8958d9c53b7a4fc17d8afeaedf96dbac71e (diff) | |
keep the language menu in the documentation always on top.
Diffstat (limited to 'src/runtime/javascript/editor.html')
0 files changed, 0 insertions, 0 deletions