diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-10-12 20:53:14 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-10-12 20:54:18 +0200 |
| commit | 4a38ec9e98e2ca6dc1f01824b9097e0e668b48ab (patch) | |
| tree | 0870904d0d486674e3ea6cd2ea0a22e0d4db6bd5 /.gitignore | |
| parent | 2b8491fbbe818944baf454faf1326034022ac320 (diff) | |
gnu: Remove GDB@8.2.
* gnu/packages/gdb.scm (gdb-8.2): Rename to ...
(gdb-8.3): ... this. Update to 8.3.1.
(gdb): Refer to GDB-8.3.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions