From 0b629c7bb29b0af712df34b8fb597b73c8138ef9 Mon Sep 17 00:00:00 2001 From: Zeno Rogue Date: Sat, 5 Oct 2019 13:02:28 +0200 Subject: [PATCH] option -geo now accepts short names --- geom-exp.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/geom-exp.cpp b/geom-exp.cpp index 5ea3ecf4..d3105465 100644 --- a/geom-exp.cpp +++ b/geom-exp.cpp @@ -921,6 +921,7 @@ EX void runGeometryExperiments() { #if CAP_COMMANDLINE eGeometry readGeo(const string& ss) { + for(int i=0; i '9') numeric = false; if(numeric) return eGeometry(atoi(ss.c_str()));