aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/shell/bashrc.sh
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-13 17:50:24 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-13 17:50:24 +0000
commit1c77635ff9cbf10adadbc11a90851f635de323af (patch)
treea5833ef0450aecf56a1aab6758be656ce7876085 /reproduce/software/shell/bashrc.sh
parent5baaa500439481514ca173db650f7b45e4994b54 (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