[emacs-common-proofgeneral/f20] Add AppData file.
Jerry James
jjames at fedoraproject.org
Thu Feb 27 22:33:48 UTC 2014
Summary of changes:
e6610ca... Add AppData file. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list