aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-17 02:31:20 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-17 02:31:20 +0100
commit1ac5c1298b3a3eda7d6823f9c80f458d149bb8bf (patch)
treef9c8271af1c0486794050f30be616d651fb5c6fd /.gitignore
parent4f834ecbcd03de1c00785882cab96b70b9c69c6a (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions