rpms / devtoolset-6-gdb

Clone
Source Code
GIT

Blame SOURCES/gdbtui

c7
  1.   99f0af80c5e673f778726f34a325101dc118da2e
  2.   SOURCES
  3.   gdbtui
Blob History Raw
7a6771 
#! /bin/sh
7a6771 
exec gdb -tui "$@"

Powered by Pagure 5.14.1

SSH Hostkey/Fingerprint | Documentation