diff CODING @ 741:0e8b802e54d5

Move code from save_options() to new save_options_to() which takes the destination path as parameter.
author zas_
date Thu, 22 May 2008 23:17:26 +0000
parents f20e7cebcb12
children 83d3abd80b64
line wrap: on
line diff