aboutsummaryrefslogtreecommitdiff
path: root/tex
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-22 19:49:31 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-22 19:49:31 +0100
commitf990bbac6486cedc72ef3c8ef3e26ca3997bc0c5 (patch)
tree1617572402292de76ee6037694875ba55bd70182 /tex
parent76a2148e8ef083712c078fff098e785f2e83bb64 (diff)
Applied futher comments by Konrad
Regarding Docker Konrad pointed out that "Linux has an excellent track record for stability. It's more likely that the Docker itself becomes incompatible with older containers. Docker isn't developed for reproducibility after all". So I tried to modify that paragraph to include this important point too. In the process, I also shrank it a little more (without loosing anything substantial), so it doesn't add to the paper's length.
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions