Add read_dummy_option() to handle old/deprecated options.
authorLaurent Monin <zas@norz.org>
Tue, 14 Aug 2012 22:48:35 +0000 (00:48 +0200)
committerLaurent Monin <zas@norz.org>
Thu, 16 Aug 2012 21:27:08 +0000 (23:27 +0200)
commitbb35f83926c37e14b24931b03164d09b38b36a00
treee9323045013455de88c9edf568298b9a3832db5e
parent20544048d99f4074e1aec280101b973bb2003cee
Add read_dummy_option() to handle old/deprecated options.

It is better to keep a trace of old options, for now, just display
a message about the option to be ignored, and the reason.
src/rcfile.c
src/rcfile.h