e3077e Use new symsets location.

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