diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-08 07:36:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-08 07:36:24 +0200 |
| commit | 64cb61619ae76325b2450d9a2570bf6471248450 (patch) | |
| tree | 6c071b9146b6b461f9a64202d9c1fa21c77c037b /thirdparty/zlib/gzwrite.c | |
| parent | bdad359d99c2c139723b2ea0f3ea76e550d68bfa (diff) | |
| parent | e58b10c883056930e966e842fad6bc1bbcd7979c (diff) | |
Merge pull request #15928 from StateOff/feature_batch_rename
Implements "Batch Rename" editor tool.
Diffstat (limited to 'thirdparty/zlib/gzwrite.c')
0 files changed, 0 insertions, 0 deletions