summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Faulhammer <fauli@gentoo.org>2009-06-04 19:12:50 +0000
committerChristian Faulhammer <fauli@gentoo.org>2009-06-04 19:12:50 +0000
commit4327c05a5d5531dad6e2a5c36eecb1ec5774666c (patch)
tree2659783c277d7db94a0147340f9621bd3e25c0de /app-emacs/proofgeneral
parentold (diff)
downloadhistorical-4327c05a5d5531dad6e2a5c36eecb1ec5774666c.tar.gz
historical-4327c05a5d5531dad6e2a5c36eecb1ec5774666c.tar.bz2
historical-4327c05a5d5531dad6e2a5c36eecb1ec5774666c.zip
stable x86, bug 215870
Package-Manager: portage-2.1.6.11/cvs/Linux i686
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions