Log In
rpms
/
devtoolset-7-gdb
Clone
Source Code
GIT
Source
Pull Requests
0
Stats
Blame SOURCES/gdbtui
Branch:
e1d87d06fe86b6b87239f84185a498796a8d7075
c7
e1d87d06fe86b6b87239f84185a498796a8d7075
SOURCES
gdbtui
Blob
History
Raw
e1d87d
#! /bin/sh
e1d87d
exec gdb -tui "$@"