80eb48c Merge branch 'f38'

Merged and Committed by rineau 10 months ago
    Merge branch 'f38'
    
    # Conflicts:
    #	.gitignore
    #	CGAL.spec
    #	sources
    
        
file modified
+11 -7
file modified
+3 -0