diff options
| author | Boud Roukema <boud@cosmo.torun.pl> | 2021-06-19 22:53:10 +0200 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-06-19 22:07:21 +0100 |
| commit | c07ce073307043be38ec907eac6dc758f8f768d9 (patch) | |
| tree | c744c8a5c9d4b77c3694125ca22f87b7100c719f /reproduce/src/make/dependencies-build-rules.mk | |
| parent | 1cfb83e01b9ab6375727da5afd89bb3e744b9894 (diff) | |
Copyedit (main body): fixed sentence on importance of history
This commit changes the rather confused sentence ending "is, thus, not any
the less valuable as itself" to "often as valuable as the result
itself". This clarifies the intended meaning. The error was unfortunately
missed by the proofreaders of our article.
Diffstat (limited to 'reproduce/src/make/dependencies-build-rules.mk')
0 files changed, 0 insertions, 0 deletions