| author | Ulrich Müller <ulm@gentoo.org> | |
| Thu, 8 Dec 2011 13:21:04 +0000 (13:21 +0000) | ||
| committer | Ulrich Müller <ulm@gentoo.org> | |
| Thu, 8 Dec 2011 13:21:04 +0000 (13:21 +0000) | ||
| commit | e679117e52c0030de0faf2cf7c9d1873bd1f93d4 | |
| tree | 3cb50d909fb9d54bfe4ced068e415fc188ee0baf | tree | snapshot |
| parent | 7b5c354a74812a19a61f1fd6c3be2f2ebc54e30f | commit | diff |
| app-emacs/proofgeneral/ChangeLog | diff | blob | history | |
| app-emacs/proofgeneral/Manifest | diff | blob | history | |
| app-emacs/proofgeneral/files/proofgeneral-4.1-emacs-24.patch | [new file with mode: 0644] | blob |
| app-emacs/proofgeneral/proofgeneral-4.1.ebuild | [new file with mode: 0644] | blob |