From a2e33d200ee20e61e967a391c83769b71cd0e8bf Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 6 Jul 2004 09:57:40 +0000
Subject: [PATCH] * Branch for nix-make.  So that all those ad-hoc extensions
 don't   pollute the mainline.