a87596d Update for split GAP directories.

Authored and Committed by jjames a year ago
    Update for split GAP directories.
    
        
file modified
+13 -10