diff debian/config @ 26541:671c0e7892c0

Merge loader/Makefile into top-level Makefile.
author diego
date Mon, 28 Apr 2008 14:01:58 +0000
parents a5bef61f49bf
children
line wrap: on
line diff