diff options
author | 2010-03-14 13:19:08 +0000 | |
---|---|---|
committer | 2010-03-14 13:19:08 +0000 | |
commit | af1c49a16931e0787b81c4c9a9a9a41729e703e2 (patch) | |
tree | 7f0df44d809ee502344f7a0552966fdc3d22a7fb /app-emacs/proofgeneral | |
parent | Version bump. Stop using capistrano-launcher now that the old slot is gone. (diff) | |
download | gentoo-2-af1c49a16931e0787b81c4c9a9a9a41729e703e2.tar.gz gentoo-2-af1c49a16931e0787b81c4c9a9a9a41729e703e2.tar.bz2 gentoo-2-af1c49a16931e0787b81c4c9a9a9a41729e703e2.zip |
Version bump with ebuild from Davide Pesavento (bug #273825)
(Portage version: 2.2_rc67/cvs/Linux x86_64)
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions