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