Printer updates #453

Merged
mohr merged 1 commits from mueller/updated-serviceinterface into mueller/restructuring 2021-08-09 15:24:44 +02:00
Owner

Target is #445 for easier comparison now, might be retargeted . Fixes #452

  1. Only prefix is colored now
  2. Minor formatting change
Target is #445 for easier comparison now, might be retargeted . Fixes #452 1. Only prefix is colored now 2. Minor formatting change
muellerr added the
feature
label 2021-08-06 11:11:26 +02:00
muellerr added 1 commit 2021-08-06 11:11:27 +02:00
2706b8fa24
Printer updates
1. Only prefix is colored now
2. Minor formatting change
muellerr added this to the v2.0.0 milestone 2021-08-06 11:22:03 +02:00
mohr added
cosmetics
and removed
feature
labels 2021-08-09 15:24:11 +02:00
mohr approved these changes 2021-08-09 15:24:22 +02:00
mohr was assigned by gaisser 2021-08-09 15:24:34 +02:00
mohr merged commit 1c3770ce96 into mueller/restructuring 2021-08-09 15:24:44 +02:00
Sign in to join this conversation.
No description provided.