cli_monitor: remove unused gdb_command_config file

This file is unused since the commit "CLI monitor: remove unused GDB command". Issue #1832
genodelabs · Jan 21, 2017 · e06a921 · e06a921
1 parent 8096724
commit e06a921
Showing 1 changed file with 0 additions and 65 deletions.
diff --git a/repos/os/src/app/cli_monitor/gdb_command_config b/repos/os/src/app/cli_monitor/gdb_command_config