From 5d7889544b459ec87c2260f0b7ffff4ea5bd41a1 Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Wed, 26 Jan 2011 13:05:06 +0000
Subject: [PATCH] double initfile nodes are doubles now, not ints

-- 
GitLab