diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:19:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:19:40 +0000 |
| commit | 5ec33db88a2ec74d2704fde4deda7813c5ec7c0c (patch) | |
| tree | 540be6d6350923f189514bf539d75251e60a2ce7 /images/README | |
| parent | b39170289b4c330df0eecef57bdd149bddf44c6c (diff) | |
isar-symbol-shortcuts: add customization
Diffstat (limited to 'images/README')
0 files changed, 0 insertions, 0 deletions