diff makefile @ 2095:ce8b66e68cd5

type fixes
author drewp@bigasterisk.com
date Tue, 31 May 2022 00:12:51 -0700
parents 1c772cb39908
children 13d1fc32125b
line wrap: on
line diff