diff rcrc @ 182:3dc6a4eec6ac

Reload options from sessions
author zegervdv <zegervdv@me.com>
date Wed, 05 Nov 2014 22:11:31 +0100
parents db3720a03952
children e3639166a8ab
line wrap: on
line diff