diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-01-22 23:21:03 +0000 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-01-22 23:21:03 +0000 |
| commit | 195a3c51fd83775d0ad613783ef5a10b8992d150 (patch) | |
| tree | b3cd54e1565772594d6a4cf2bb97c6e2fe8319f4 /reproduce/software/make | |
| parent | 7ac86df891798fd1f0ef4d7a40aff43ec9621854 (diff) | |
Adding basic configuration of Git in README-hacking.md
Until this commit, we were asuming that Git was already properly
configured. However, in order to be as complete as possible, it would
be good if the basic commands to configure Git were in the
`README-hacking.md'. With this commit, a small paragraph has been added
in order to have the basic Git configuration commands (i.e. to configure
the name, email, and favorite text editor).
Diffstat (limited to 'reproduce/software/make')
0 files changed, 0 insertions, 0 deletions