diff options
| author | David Aspinall | 2000-05-05 17:18:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 17:18:13 +0000 |
| commit | 784085f49a94b9a1458acfc9323a6c0ca0859db3 (patch) | |
| tree | 84ec155e10d7a5a443b4e875d263c2e17e3cc07f /FAQ | |
| parent | b1be674c8dd5511953758155366de4a0aabfaeb7 (diff) | |
Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions