diff options
author | Guy Harris <gharris@sonic.net> | 2021-01-30 19:29:59 -0800 |
---|---|---|
committer | Guy Harris <gharris@sonic.net> | 2021-01-30 19:29:59 -0800 |
commit | b2db1517be11f9402613220269f63c373b9bf785 (patch) | |
tree | e1bdaac7812ef44e11761e3317fe1c85088dc054 | |
parent | 2c719d45171f940bd0317810a586569f1525655a (diff) |
Oops, put back accidentally deleted blank comment line.
-rwxr-xr-x | tools/make-plugin-reg.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/make-plugin-reg.py b/tools/make-plugin-reg.py index a5869bc9fa..45bbafc2ab 100755 --- a/tools/make-plugin-reg.py +++ b/tools/make-plugin-reg.py @@ -18,6 +18,7 @@ srcdir = sys.argv[1] # or "plugin_tap". # registertype = sys.argv[2] +# # All subsequent arguments are the files to scan. # files = sys.argv[3:] |