rpms / coq

Clone
Source Code
GIT

61ea2d3 Support more GDK key modifiers in the IDE (hyper, meta, release, super).

Authored and Committed by jjames 11 years ago
raw patch tree parent
2 files changed. 30 lines added. 0 lines removed.
coq-gdk.patch
file added
+26
coq.spec
file modified
+4 -0 
    Support more GDK key modifiers in the IDE (hyper, meta, release, super).
file added
+26
file modified
+4 -0
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.