diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-12 15:40:35 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-12 15:43:07 +0100 |
commit | e25c86efab8e585854a3c44ce21aa7f16ef831ef (patch) | |
tree | 71105be1c917f0ba128190351ec3159b17c1c591 /reproduce/software/shell/git-post-checkout | |
parent | 7800085eddd59f47e5f7b40a5a077dc1cbe7d97b (diff) |
First draft of first three sections of shortened paper are done
As described in the previous commit, we had to shorten the paper to roughly
8000 words (which is significant decrease!). With this commit, I am
committing the current version of the summarized paper, where the
introduction, defintions and principles have now been summarized. I am now
summarizing the rest (describing Maneage and the discussion).
Diffstat (limited to 'reproduce/software/shell/git-post-checkout')
0 files changed, 0 insertions, 0 deletions