a55ea5c drop unused write_to_stdout function

Authored and Committed by mikem 5 years ago
    drop unused write_to_stdout function
    
    this was added after 1.16 and no longer used, so no point in keeping it
    
        
file modified
+0 -16