rpms / devtoolset-7-gdb

Clone
Source Code
GIT

Blame SOURCES/gdbtui

c7
  1.   15e4b038571219f458550defab5788f83813e8bc
  2.   SOURCES
  3.   gdbtui
Blob History Raw
e1d87d 
#! /bin/sh
e1d87d 
exec gdb -tui "$@"

Powered by Pagure 5.14.1

SSH Hostkey/Fingerprint | Documentation