e3077ee Use new symsets location.

Authored and Committed by jcm 17 years ago
    Use new symsets location.
    
        
file modified
+2 -2