diff options
| author |   Aron Griffis <agriffis@gentoo.org> | 2004-06-24 22:19:28 +0000 |
|---|---|---|
| committer | Aron Griffis <agriffis@gentoo.org> | 2004-06-24 22:19:28 +0000 |
| commit | 741eb614ffb383c1a6f9128d8dceef982a9a327f (patch) | |
| tree | 6cf083f7672420d522f55ec9d5e657a8c341137c /app-emacs/proofgeneral/Manifest | |
| parent | (Manifest recommit) (diff) | |
| download | gentoo-2-741eb614ffb383c1a6f9128d8dceef982a9a327f.tar.gz gentoo-2-741eb614ffb383c1a6f9128d8dceef982a9a327f.tar.bz2 gentoo-2-741eb614ffb383c1a6f9128d8dceef982a9a327f.zip | |
update copyright line: Gentoo Technologies => Gentoo Foundation
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
0 files changed, 0 insertions, 0 deletions