diff gui/dialog/tools.c @ 35960:13d09ba17e97

Be more precise about type.
author ib
date Sun, 24 Mar 2013 15:12:16 +0000
parents 3c901704a27c
children e7bc0058139a
line wrap: on
line diff