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/packages/file-systems.scm | |
parent | 9c3070ec3886d5936386b1ea1005065da97d55af (diff) |
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/packages/file-systems.scm')
0 files changed, 0 insertions, 0 deletions