readline_write_history

readline_write_history -- Writes the history

Description

bool readline_write_history ( string filename)