diff options
author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-01-22 23:31:39 +0000 |
---|---|---|
committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-01-22 23:31:39 +0000 |
commit | 36dd26c5baf6ae55b44e3d048f7547fadabd67fe (patch) | |
tree | d30943632df8370bc19a0ea5442d0f247077cf3a /reproduce/software/shell/configure.sh | |
parent | 195a3c51fd83775d0ad613783ef5a10b8992d150 (diff) |
Adding Raul as contributor of README-hacking.md
Since I (Raul) did some changes (and I hope to do more :-)) in the
`README-hacking.md', I am adding my information at the beginning of this
file.
Diffstat (limited to 'reproduce/software/shell/configure.sh')
0 files changed, 0 insertions, 0 deletions