diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-04-18 15:59:34 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-04-18 15:59:34 +0200 |
| commit | c8bc58a9e705bb4c37d2c4386d1c6050ab324cb1 (patch) | |
| tree | 505590ef720a82fdfc79e0c77624be74c21a368d /THANKS | |
| parent | 664a222cac862665267f9bc69f1db1ec1a2238d5 (diff) | |
ci: Add 'gdb-minimal' to the "core" package set.
* gnu/ci.scm (%core-packages): Add GDB-MINIMAL.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions