diff debian/config @ 25802:2118c88fe0e1

Move compare.c to TOOLS, add it to the Makefile and document it.
author diego
date Wed, 23 Jan 2008 00:05:48 +0000
parents a5bef61f49bf
children
line wrap: on
line diff