[coq] (2 commits) ...Forgot the README files.

Jerry James jjames at fedoraproject.org
Fri Apr 1 22:21:55 UTC 2011


Summary of changes:

  09b853b... * Thu Mar 31 2011 Jerry James <loganjerry at gmail.com> - 8.3p (*)
  7c56d89... Forgot the README files. (*)

(*) This commit already existed in another branch; no separate mail sent


More information about the scm-commits mailing list