rpms / coq

Clone
Source Code
GIT

7bc5fec Drop support for XEmacs due to ProofGeneral dropping support.

Authored and Committed by jjames 11 years ago
raw patch tree parent
2 files changed. 12 lines added. 42 lines removed.
README.coq-xemacs
file removed
-2
coq.spec
file modified
+12 -40 
    Drop support for XEmacs due to ProofGeneral dropping support.
file removed
-2
file modified
+12 -40
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.