diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-08-25 19:23:35 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-08-25 19:23:35 +0200 |
| commit | c37e932764f42df90b77b97af4dd71e5b485800b (patch) | |
| tree | 4cd4b3156aa603ffe08ad2ef45ee44e00a0836c7 /.dir-locals.el | |
| parent | 65ba72d74954e85412144b4737fccfa914ff107b (diff) | |
| download | patches-c37e932764f42df90b77b97af4dd71e5b485800b.tar patches-c37e932764f42df90b77b97af4dd71e5b485800b.tar.gz | |
gnu: gdb: Remove obsolete patch.
* gnu/packages/patches/gdb-python-3.7.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
* gnu/packages/gdb.scm (gdb)[source](patches): Remove field.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions