Skip to content

Replace all 'set logging {on,off}` commands with 'set logging enabled {on,off}'#45

Merged
gdbinit merged 2 commits intogdbinit:masterfrom lakshayrohila:masterMar 31, 2024

Commits

Commits on Jun 11, 2023

Commits on Mar 31, 2024