diff gui/dialog/preferences.c @ 37079:83aa0570d6be

Add get_vf(). (Currently unused, but we will need it soon.)
author ib
date Thu, 24 Apr 2014 13:36:22 +0000
parents 1236a692d0c6
children 2208a16cc562
line wrap: on
line diff