1ed0e05 Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with the `-v'

Authored and Committed by bagnara 15 years ago
    Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with the `-v'
        option.
    
        
file modified
+30 -0
file modified
+5 -1