objdiff/objdiff-gui
Luke Street 9ca157d717 Lighten default blue diff color
The old default was very dark and blended in with
the dark theme's background.
2024-10-18 17:51:29 -06:00
..
2024-10-18 17:51:29 -06:00
2024-10-03 22:00:43 -06:00