diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-01-30 22:12:02 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-30 22:16:07 +0100 |
| commit | 6610e847c0f978cf3cf706aa91b4e62ac53d0669 (patch) | |
| tree | 8bb5d9598e3bd258ced25df153dceaf1bd6d38ea /gnu/services | |
| parent | 9c3070ec3886d5936386b1ea1005065da97d55af (diff) | |
| download | patches-6610e847c0f978cf3cf706aa91b4e62ac53d0669.tar patches-6610e847c0f978cf3cf706aa91b4e62ac53d0669.tar.gz | |
gnu: gdb: Add separate variant with source highlighting support.
This partially reverts commit 480b3279fd8f937fac986a88592ee5cb968ab3ff in
order to prevent a huge rebuild.
* gnu/packages/gdb.scm (gdb-8.3)[properties]: New field.
[inputs]: Remove SOURCE-HIGHLIGHT.
* gnu/packages/gdb.scm (gdb-8.2)[inputs]: Remove.
(gdb/next): New public variable.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions