Robin Appelman 8dafab4c15 don't re-render ui needlessly		2024-07-29 19:37:45 +02:00
..
ui	don't re-render ui needlessly	2024-07-29 19:37:45 +02:00
app.rs	parallel matching	2024-07-28 16:02:00 +02:00
error.rs	start working on tui	2024-07-24 22:34:00 +02:00
logfile.rs	clippy fixes	2024-07-28 17:16:06 +02:00
logline.rs	log trace	2024-07-28 18:37:14 +02:00
main.rs	fix windows build	2024-07-28 20:02:34 +02:00
matcher.rs	clippy fixes	2024-07-28 17:16:06 +02:00
timegraph.rs	don't re-render ui needlessly	2024-07-29 19:37:45 +02:00