chiark / gitweb /
.gdbinit: Delete this obsolete file. master
authorMark Wooding <mdw@distorted.org.uk>
Tue, 7 Apr 2020 23:53:56 +0000 (00:53 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 7 Apr 2020 23:59:42 +0000 (00:59 +0100)
commite023e8f16c2181f8d1397f7a5f1b7f4bbeea63bf
tree394e103d02c45559d3493f154334ff088d10c2b2
parent9e947555194b0e435f39e6882e36e5b3639e3203
.gdbinit: Delete this obsolete file.

It's set up for my particular development environment, using a Python
version that's not even supported any more.  And project-specific
`.gdbinit' files really don't work very well as things to distribute,
for vaguely obvious security reasons.
.gdbinit [deleted file]