diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-17 02:31:20 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-17 02:31:20 +0100 |
commit | 1ac5c1298b3a3eda7d6823f9c80f458d149bb8bf (patch) | |
tree | f9c8271af1c0486794050f30be616d651fb5c6fd /reproduce/analysis/bash | |
parent | 4f834ecbcd03de1c00785882cab96b70b9c69c6a (diff) |
Edited the text, normal sized bibliography and TARGETS.conf in fig
I had another look at the text and tried to summarize it a little more
while also fixing several typos that I had just discovered! In the process,
I noticed that we hadn't actually put a link to Maneage's main Git
repository! So we now have the URL as a `git clone' command.
Also, I thought that its better to show the `TARGETS.conf' file (which we
actually talk about) in the file architecture instead of `LOCAL.conf.in'
(which we don't talk about any more!).
Finally, to be more similar with DSJ, the bibliography is now in normal
font size, not footnotesize.
Diffstat (limited to 'reproduce/analysis/bash')
0 files changed, 0 insertions, 0 deletions