rpms / devtoolset-11-gdb

Clone
Source Code
GIT

Blame SOURCES/gdbtui

c7
  1.   9a1f59f567dbe4a9aaedd1f8446ce0cc1b4eb96c
  2.   SOURCES
  3.   gdbtui
Blob History Raw
a8223e 
#! /bin/sh
a8223e 
exec gdb -tui "$@"

Powered by Pagure 5.14.1

SSH Hostkey/Fingerprint | Documentation