[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