Commit Graph

3 Commits

Author SHA1 Message Date
ed0a3b67de filter markers by default in explorer 2026-04-21 12:21:15 +02:00
19048ed4bf add run in gdb menu action 2026-04-20 23:52:06 +02:00
7b31507403 add result explorer 2026-04-20 20:59:36 +02:00