c42c750 Apply Miroslav patch that rewrites sealert option handling with using optparse. Fixing conflicting options problems.

Authored and Committed by dwalsh 12 years ago
    Apply Miroslav patch that rewrites sealert option handling with using optparse. Fixing conflicting options problems.
    
        
file modified
+1 -0
file modified
+7 -5
file modified
+1 -1