diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-07 17:36:18 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-07 17:36:18 +0000 |
| commit | e3f4be66020538e3ab641f91405b8c07582e5862 (patch) | |
| tree | dce8b52d8d4bf5e66cc5601febb1794f3f62377d /reproduce/software/bash/git-post-checkout | |
| parent | e52cbf57ccbe72c8f9a32aaeb927c194c7e485a1 (diff) | |
Removed all \new highlights after submission of review
With the submission of the revision (which highlighted all the relevant
parts to the points the referees raised in the submitted PDF) it is no
longer necessary to highlight these parts.
If we get another revision request, we can add new '\new' parts for
highlighting.
Diffstat (limited to 'reproduce/software/bash/git-post-checkout')
0 files changed, 0 insertions, 0 deletions