diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-10-20 09:59:47 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-20 16:31:01 +0200 |
| commit | 5f92f51955d758e501d76a271a9fa4aa77ed3c0f (patch) | |
| tree | 74d032a9c982e0a67c8bb8ab3526eadfc55f9f73 /gnu | |
| parent | 6701f64f7329cdbeda70bcaf38523c9098e5a938 (diff) | |
news: Add entry for '--with-debug-info'.
* etc/news.scm: Add entry.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions