diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-13 17:50:24 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-13 17:50:24 +0000 |
| commit | 1c77635ff9cbf10adadbc11a90851f635de323af (patch) | |
| tree | a5833ef0450aecf56a1aab6758be656ce7876085 /reproduce/software/shell/bashrc.sh | |
| parent | 5baaa500439481514ca173db650f7b45e4994b54 (diff) | |
Corrected version of Texinfo when reporting
Until now we were mistakenly reporting the version of SED instead of
Texinfo.
With this commit, we corrected it!
This was reported by Raul Infante Sainz.
Diffstat (limited to 'reproduce/software/shell/bashrc.sh')
0 files changed, 0 insertions, 0 deletions