diff options
| author |   Diego Elio Pettenò <flameeyes@gentoo.org> | 2011-11-29 21:08:05 +0000 |
|---|---|---|
| committer | Diego Elio Pettenò <flameeyes@gentoo.org> | 2011-11-29 21:08:05 +0000 |
| commit | a3b1a80108f6916cde41e56548f36ddb9f633980 (patch) | |
| tree | 1c567ecd7c39a83cb3a6cce511cd87e7ec948168 /app-emacs/proofgeneral/files | |
| parent | Version bump. (diff) | |
| download | historical-a3b1a80108f6916cde41e56548f36ddb9f633980.tar.gz historical-a3b1a80108f6916cde41e56548f36ddb9f633980.tar.bz2 historical-a3b1a80108f6916cde41e56548f36ddb9f633980.zip | |
Version bump for the recent schema changes.
Package-Manager: portage-2.2.0_alpha79/cvs/Linux x86_64
Diffstat (limited to 'app-emacs/proofgeneral/files')
0 files changed, 0 insertions, 0 deletions