diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-01-27 17:27:18 +0000 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-01-27 17:34:20 +0000 |
| commit | d95fd520e19ddbc1cd8e9f900495e9d32db742cd (patch) | |
| tree | 49754f55e7e90330741502e56056c79342c69189 /reproduce/analysis/make/format.mk | |
| parent | 36dd26c5baf6ae55b44e3d048f7547fadabd67fe (diff) | |
Moving basic configuration of Git section in README-hacking.md
Until this commit, the small section of `README-hacking.md' in which it
is explained how to do the first configuration of Git was at the
beginning of the section `First custom commit'. However, it is better to
have it just before the item `Your first commit' in that section. With
this commit, this change has been done. Now the reader has the necessary
steps for configuring Git just before it is needed for making the first
commit.
Diffstat (limited to 'reproduce/analysis/make/format.mk')
0 files changed, 0 insertions, 0 deletions