aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/shell/configure.sh
diff options
context:
space:
mode:
authorRaul Infante-Sainz <infantesainz@gmail.com>2020-01-22 23:21:03 +0000
committerRaul Infante-Sainz <infantesainz@gmail.com>2020-01-22 23:21:03 +0000
commit195a3c51fd83775d0ad613783ef5a10b8992d150 (patch)
treeb3cd54e1565772594d6a4cf2bb97c6e2fe8319f4 /reproduce/software/shell/configure.sh
parent7ac86df891798fd1f0ef4d7a40aff43ec9621854 (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/shell/configure.sh')
0 files changed, 0 insertions, 0 deletions