diff options
| author | Rangi <remy.oukaour+rangi@gmail.com> | 2020-09-20 17:49:08 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi@gmail.com> | 2020-09-20 17:49:08 -0400 |
| commit | b0080172687d93c965cd51257ca758132d366eb6 (patch) | |
| tree | 84a95dbbccd70593ac8f3f1ce31411fb3339240f /tools/make_shim.py | |
| parent | 2baaf80989de573c9c8d44407e1de697b543127e (diff) | |
chmod +x tools/make_shim.py
Diffstat (limited to 'tools/make_shim.py')
| -rwxr-xr-x[-rw-r--r--] | tools/make_shim.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/make_shim.py b/tools/make_shim.py index fe620ec..fe620ec 100644..100755 --- a/tools/make_shim.py +++ b/tools/make_shim.py |