diff options
| author | Ivan Metlushko <metlushko@gmail.com> | 2020-07-19 14:47:05 +0700 |
|---|---|---|
| committer | Ivan Metlushko <metlushko@gmail.com> | 2020-07-29 16:39:00 +0700 |
| commit | 9b20f6682845870d6ac53a01d3166fb83c467e7d (patch) | |
| tree | 9c2a32286924d5cbed6e2280e9b0ebb5cac4bb63 /src/core_io.h | |
| parent | a316e9ce265212a7c6c4ef7922420f6ecba9e7b0 (diff) | |
scripted-diff: Replace gArgs with local argsman
-BEGIN VERIFY SCRIPT-
sed -i -e 's/gArgs.Add/argsman.Add/g' `git grep -l "gArgs.Add"`
-END VERIFY SCRIPT-
Diffstat (limited to 'src/core_io.h')
0 files changed, 0 insertions, 0 deletions