comparison Makefile @ 33726:a800f30c40d1

Cosmetic: Rename gui() parameter. Change it from 'type' to 'what' to point out that it is a request.
author ib
date Tue, 05 Jul 2011 10:54:16 +0000
parents 3e5faa206324
children 962dc701989d
comparison
equal deleted inserted replaced
33725:f3361b27a151 33726:a800f30c40d1