diff options
| author | Enrico Tassi | 2015-12-14 14:04:12 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-14 14:07:20 +0100 |
| commit | fa08993b9330623c8cb259ac8ebff93ecce9c2f6 (patch) | |
| tree | a96caf2878485a3ba0cf39d6e1c9d6896deee6a4 /kernel/nativecode.mli | |
| parent | 317858b7ad05764a2ce010354631443f219a4b9f (diff) | |
CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' message
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions