diff options
| author | David Aspinall | 2011-04-28 14:59:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-04-28 14:59:27 +0000 |
| commit | 74bbc32ad24ee7fea5ecabfeea951b96de27baa4 (patch) | |
| tree | 114b2b09f5607474b6fbab4985ef07162ac191b9 /generic/proof-script.el | |
| parent | 5f594ebfe8c25d73ec295b3b64521f56f6b19d61 (diff) | |
Fix Make pkg in case package name same as release name.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions