diff configure @ 36083:3705b6e4ba07

Be more precise about type.
author ib
date Mon, 29 Apr 2013 10:30:41 +0000
parents 5f730ed5b3d2
children df9dead0e2ad
line wrap: on
line diff