search

YosysHQ / mau

Modular Application Utilities
ISC License
3 stars 2 forks source link

logging.py: Make time_str optional #15

Closed jix closed 2 months ago

jix commented 2 months ago

If time_str is empty, it shouldn't add a space to the list of parts.

jix commented 2 months ago

Rebase of #12 as a new PR as I cannot force push to that PR's branch