diff doc/5_1_search.html @ 739:3296f8d3a79b

Move code from exit_program_final() to new sync_options_with_current_state().
author zas_
date Thu, 22 May 2008 22:49:07 +0000
parents e0d0593d519e
children 1b01410e6860
line wrap: on
line diff