# config for w32api-headers

config W32API_HEADERS
	bool
	# no prompt