diff configure @ 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 d6bbecdf03bf
children 608c83ef5c0c
line wrap: on
line diff