diff Gui/Makefile @ 7632:8120b45c7b42

documenting -vop dint patch by Andriy N. Gritsenko <andrej@lucky.net>
author arpi
date Sun, 06 Oct 2002 18:14:59 +0000
parents 634d93c68912
children e5dda05f9aab
line wrap: on
line diff