diff options
| author | davidovski <david@davidovski.xyz> | 2022-09-28 12:51:09 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-09-28 12:51:09 +0100 |
| commit | 734a11c2cb45122e8e6484acb1dcbc86f9be24ac (patch) | |
| tree | e7869b2e40e5b1acf0a807c4fbfa2006c8338991 /src/make_tools.sh | |
| parent | 86d0c0ad3442008872f71a49a4ebf94e9e92a7fe (diff) | |
removed needless git pull from xibd
Diffstat (limited to 'src/make_tools.sh')
0 files changed, 0 insertions, 0 deletions