diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 21:14:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 21:14:33 +0000 |
| commit | 98cd5d1df5070d5ad9d29d96cb83305be5768b78 (patch) | |
| tree | 2d758bb9fa742a03432e70cbbb8d673f40a0f516 /generic/proof-site.el | |
| parent | 67a72ecf35f1252403e812960918646d8e3014b6 (diff) | |
Revert previous change, does not help. Solve #184 by ignoring error in Makefile.
Diffstat (limited to 'generic/proof-site.el')
0 files changed, 0 insertions, 0 deletions