diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-05-08 11:36:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-08 11:36:35 +0000 |
| commit | 31bf8b88892bc391972e9035125a776cdd2ad88a (patch) | |
| tree | 75b25d0f0a927e07f19ce3a002edadba243a69fd /etc/ProofGeneral.spec | |
| parent | 2059f4e0efcce4ba96263b4fbbdbd285810b1c82 (diff) | |
Dont make SRPM any more. Use rpm -tb to build binary package from tarball
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions