diff options
| author | David Aspinall | 2012-09-04 20:58:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-09-04 20:58:08 +0000 |
| commit | 444388352f09a850aa128b606de0bc5d6c2852ba (patch) | |
| tree | 42ae636bbaa90080cc047a7357e55847e3a86fc0 /generic/proof-utils.el | |
| parent | 69909c47304b9ba74bc8c6c2be2702488f43848c (diff) | |
Set version tag for new release.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions