From 1a709c62453e2afdcf1db4bbae635e41cac62a23 Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 12 Nov 2014 01:41:23 +0300 Subject: [PATCH] %F is apparently not without issues --- config.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.ml b/config.ml index a82cc05..1aeff54 100644 --- a/config.ml +++ b/config.ml @@ -1560,7 +1560,7 @@ let add_attrs bb always dc c time = then Printf.bprintf bb "\n %s='%g'" s (a*.100.) and oF s a b = if always || a <> b - then Printf.bprintf bb "\n %s='%F'" s a + then Printf.bprintf bb "\n %s='%f'" s a and oc s a b = if always || a <> b then -- 2.11.4.GIT