diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/tools/src/CLI.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/public/tools/src/CLI.cc b/public/tools/src/CLI.cc index 6296f5f1..ed686294 100644 --- a/public/tools/src/CLI.cc +++ b/public/tools/src/CLI.cc @@ -45,7 +45,6 @@ int main(int argc, char* argv[]) continue; } - files.push_back(argv[i]); } |