diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 14:18:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 14:18:12 +0000 |
commit | 1b5a27429b99858f028ee70c5becafebcc4348bf (patch) | |
tree | c2472419dac3724340ccb0e078c6537e2a32a834 | |
parent | f7463464b18570417c3bb2af8bedb0c36d28e0b8 (diff) |
Updated.
-rw-r--r-- | etc/README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ -Files in this directory (not all part of standard distribution - some only in devel) -===================================================================================== +Files in the PG/etc directory (NB: some only in devel distrib) +=============================================================== ProofGeneral.spec For building the Proof General RPM. Use "rpm -tb" to build from tarball. |