diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-01-08 17:22:56 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-01-08 17:22:56 +0100 |
| commit | 5495fb3eccc17f2770965f000b1ac6773863e62d (patch) | |
| tree | 74d65f6658bc6515368d93eacae44f02c9a3d4cf /docs/docsearch.js | |
| parent | 2fea32c136d01771e61ab27c78a6a27c3f4ecc39 (diff) | |
Update the screenshot showing the keybord shortcut for saving
Diffstat (limited to 'docs/docsearch.js')
0 files changed, 0 insertions, 0 deletions