diff eval.h @ 165:cc6d6f27d6ee

Fix Joerg's #line code. (avoid redundant whitespace grinding, don't use atoi, be simpler and tidier, etc.)
author David A. Holland
date Fri, 12 Jun 2015 01:30:13 -0400
parents 76c114899f63
children 4c3375895c6e
line wrap: on
line diff