diff options
| author |   Lukasz Strzygowski <lucass@gentoo.org> | 2007-07-03 07:29:26 +0000 |
|---|---|---|
| committer | Lukasz Strzygowski <lucass@gentoo.org> | 2007-07-03 07:29:26 +0000 |
| commit | 9090436aa58c7192ba53abe6e353ca1f12197fcb (patch) | |
| tree | b67d147329e55416a50420d59f30f0af434d21ac /app-emacs/proofgeneral/ChangeLog | |
| parent | Dropped old versions. Cleanup. Added examples use-flag. (diff) | |
| download | gentoo-2-9090436aa58c7192ba53abe6e353ca1f12197fcb.tar.gz gentoo-2-9090436aa58c7192ba53abe6e353ca1f12197fcb.tar.bz2 gentoo-2-9090436aa58c7192ba53abe6e353ca1f12197fcb.zip | |
Dropped old versions. Cleanup. Added examples use-flag.
(Portage version: 2.1.3_rc6)
(Signed Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral/ChangeLog')
0 files changed, 0 insertions, 0 deletions