diff options
| author | mrb0nk500 <b0nk@b0nk.xyz> | 2022-07-31 17:29:50 -0300 |
|---|---|---|
| committer | mrb0nk500 <b0nk@b0nk.xyz> | 2022-07-31 17:34:07 -0300 |
| commit | db9647bc5b51859d83f1e3ab299ccc03536e6cae (patch) | |
| tree | 1665a3d38f99239c7217bf7c4d91f2d8e32427e5 /config.h | |
| parent | 7e27a353e5731584d3697d34668508960c28bc1b (diff) | |
pullreqd, git: Replace every current instance of `git_repository` with `git_repo`
This is done in order to make it easier to get the name of the repo.
Diffstat (limited to 'config.h')
0 files changed, 0 insertions, 0 deletions