Merge pull request #187 from divVerent/patch-1 graphitemaster/master master
authorDale Weiler <graphitemaster@users.noreply.github.com>
Mon, 4 Feb 2019 14:20:23 +0000 (09:20 -0500)
committerGitHub <noreply@github.com>
Mon, 4 Feb 2019 14:20:23 +0000 (09:20 -0500)
commit451873ae529289f4a22d8bbce6ebf0e074da8f2b
treedd56c16abd92e9c19ebe353cd48278264e0977d1
parent620bd76e76804b1fc1de46daa03724e23339e8bf
parent9c81ff263aa3f38252bdfe704e5051431e30aefa
Merge pull request #187 from divVerent/patch-1

Fix printing of floating poing values in -dumpfin.