diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2017-12-27 10:50:45 +0000 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2017-12-27 10:50:45 +0000 |
| commit | 600cd2bcf31c9337f5332a6dbcbe60d5e04b1fd9 (patch) | |
| tree | 28fdfc8c17493a92282a58731b8c257516b1a9aa /gdb-wrapper2/gdb-wrapper2.sh | |
| parent | 19d1fe92e846aa2b6a8c0fa2abe1c6d526dfae5a (diff) | |
The configs aren't exec'd on the command line anymore, but the server
operator might still want to exec them on-the-fly to update settings.
Diffstat (limited to 'gdb-wrapper2/gdb-wrapper2.sh')
0 files changed, 0 insertions, 0 deletions