readline_add_history

readline_add_history -- Ajoute une ligne à l'historique

Description

void readline_add_history ( string line)

readline_add_history( ) ajoute une ligne à l 'historique .