diff options
| author | TheCharlatan <seb.kung@gmail.com> | 2023-04-18 13:40:47 +0200 |
|---|---|---|
| committer | TheCharlatan <seb.kung@gmail.com> | 2023-05-09 15:49:17 +0200 |
| commit | e9ee8aaf3acdf6dce2b339916d4c602484570050 (patch) | |
| tree | 3e1c0f70b29773df99d6f67c9f67c91d099d8d44 /.tx | |
| parent | ba8fc7d788932b25864fb260ca14983aa2398c23 (diff) | |
Add missing definitions in prep for scripted diff
The missing include and ArgsManager were found after applying the
scripted diff in the following commit.
Diffstat (limited to '.tx')
0 files changed, 0 insertions, 0 deletions