diff options
| author | Hugo Herbelin | 2019-04-27 12:15:59 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-04-30 12:50:47 +0200 |
| commit | a63ac0351d6feb3f3242649faccf88da6a34d5eb (patch) | |
| tree | a2db422af2e45f7a820de40d8224776103205d97 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 823bde2eaffbacdb7a3a08c9d7274cd84dc5bef5 (diff) | |
Fix a nanoPG bug: was accepting unexpectedly extra modifier keys pressed.
For instance, Ctrl-Meta-e was behaving like Ctrl-e.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions