diff options
| author | David Aspinall | 2002-07-18 17:43:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 17:43:37 +0000 |
| commit | 897b459507e06883ae2169370271ad5a7a9749ea (patch) | |
| tree | 17d537377454125a9d2293fb15f152e644309b79 /html/gallery.php | |
| parent | 6c6cbce526681ef68445870bb3702103f4c5785a (diff) | |
More on keybindings: include old x-symbol-isabelle bindings but using super.
Diffstat (limited to 'html/gallery.php')
0 files changed, 0 insertions, 0 deletions