diff options
| author | Ruben Beltran del Rio <ruben@unlimited.pizza> | 2022-07-06 12:28:02 +0200 |
|---|---|---|
| committer | Ruben Beltran del Rio <ruben@unlimited.pizza> | 2022-07-06 12:28:02 +0200 |
| commit | 7cb68b21872488f820f4a05f61c0617d2895a729 (patch) | |
| tree | 1043526bbe8af1a7637e0083c02bb700570911ae /gitconfig | |
| parent | 4cf8c0a239326c9cb91a7b3bf1f75591bf0b4703 (diff) | |
Allow for local tool versions
Diffstat (limited to 'gitconfig')
0 files changed, 0 insertions, 0 deletions