aboutsummaryrefslogtreecommitdiff
path: root/.gitattributes
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-12-27 19:04:45 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-12-27 19:49:46 +0000
commit5a2a4c31f8ee252b778e2fea2da00de8906792c3 (patch)
treefedbbb849e38ba916746669ca7d5f4dc457debaf /.gitattributes
parentafc7c57b3b8240aa84e7682272bf528615530ba2 (diff)
Edits to snapshot size argument, minor edits here and there
Following Boud's point in the previous commit, I tried to clarify the point in the text that we are only talking about hand-written source files: in short, in this part of the paper, we are not talking abou the version/snapshot for arXiv which needs figures and many extra automatically built files. We are just talking about the raw, hand-written files. Trying to convince people how good it is to keep the raw files separate from automatically generated files ;-). Also, while looking around in other parts of the main body of the paper, I tried to edit/clarify a few points and summarize/shorten others.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions