diff makefile @ 2275:dd9474bef2a6

decimal not double! this caused patch comparisons to fail and led to redundant work
author drewp@bigasterisk.com
date Mon, 29 May 2023 15:16:57 -0700
parents 8ebf79d6b957
children 1aaa449e89d0
line wrap: on
line diff