aboutsummaryrefslogtreecommitdiff
path: root/.file-metadata
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 /.file-metadata
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 '.file-metadata')
0 files changed, 0 insertions, 0 deletions