diff nav_print.h @ 12:056f5573a7dc src

moved various pieces of duplicated code to free_ptl_mait(); patch by Erik Hovland org
author nicodvb
date Wed, 16 Jul 2008 07:46:33 +0000
parents fdbae45c30fc
children fce16251755c
line wrap: on
line diff