diff libmenu/menu_pt.c @ 27816:e05a9299b946

We now require GNU make 3.81.
author diego
date Wed, 29 Oct 2008 22:42:34 +0000
parents 15b870cf3592
children f8b6c7045cf8
line wrap: on
line diff