author | Ulrich Müller <ulm@gentoo.org> | |
Sun, 13 Oct 2019 11:15:43 +0000 (13:15 +0200) | ||
committer | Ulrich Müller <ulm@gentoo.org> | |
Sun, 13 Oct 2019 11:15:43 +0000 (13:15 +0200) | ||
commit | 1252a62f41fad070f515a926448702a5d48c1e60 | |
tree | 1178ccb82797ab7ab9af10ddee2b6b03c30921ce | tree | snapshot |
parent | a1aca3d2fc31b540a97b0633e52488e13fedbda5 | commit | diff |
app-emacs/proofgeneral/Manifest | diff | blob | history | |
app-emacs/proofgeneral/files/proofgeneral-4.2-bytecomp-warn.patch | [deleted file] | blob | history |
app-emacs/proofgeneral/proofgeneral-4.2.ebuild | [deleted file] | blob | history |