c0bd078 rediff, remove unnecessary export, and add modules printing to bad_page()

Authored and Committed by Dave Jones 12 years ago
    rediff, remove unnecessary export, and add modules printing to bad_page()
    
        
file modified
+16 -30