diff options
-rw-r--r-- | configuration.ccl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configuration.ccl b/configuration.ccl index e37f5f0..7d53382 100644 --- a/configuration.ccl +++ b/configuration.ccl @@ -1,4 +1,4 @@ # Configuration definitions for thorn PUGHReduce # $Header$ -Requires Thorns: PUGH +Requires PUGH |