diff options
Diffstat (limited to 'app-emacs/proofgeneral')
-rw-r--r-- | app-emacs/proofgeneral/ChangeLog-2015 (renamed from app-emacs/proofgeneral/ChangeLog) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog-2015 index 16f89031..16f89031 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog-2015 |