Commit graph

1 commit

Author SHA1 Message Date
stephenmk b03978d1f7
Add timestamps to command line messages
This is a clumsy way of doing it (since it would be better to have a
wrapper function append the timestamp), but that will be taken care of
when the logging logic is all overhauled anyway.
2023-07-28 23:17:42 -05:00