diff options
author | Markus Meier <maekke@gentoo.org> | 2007-12-12 18:54:38 +0000 |
---|---|---|
committer | Markus Meier <maekke@gentoo.org> | 2007-12-12 18:54:38 +0000 |
commit | b65fd0521f27f3a8dfc0df7a28b974b875a0e2ff (patch) | |
tree | 16a4b7df61faffa16c77ee19e81528d85957aff9 /app-emacs/proofgeneral | |
parent | x86 stable, bug #200336 (diff) | |
download | gentoo-2-b65fd0521f27f3a8dfc0df7a28b974b875a0e2ff.tar.gz gentoo-2-b65fd0521f27f3a8dfc0df7a28b974b875a0e2ff.tar.bz2 gentoo-2-b65fd0521f27f3a8dfc0df7a28b974b875a0e2ff.zip |
x86 stable, bug #200337
(Portage version: 2.1.4_rc9)
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions