From 9ff3e2b6214d9a4195e266fef8bb9bd49f15e26c Mon Sep 17 00:00:00 2001 From: Norbert Klawikowski <norbert.klawikowski@tu-dresden.de> Date: Wed, 30 Jun 2010 14:45:55 +0000 Subject: [PATCH] Now double input in initfile editor has a greater precision -- GitLab