diff options
Diffstat (limited to 'src/local/server-tools')
| -rwxr-xr-x | src/local/server-tools/rz_doc.py (renamed from src/local/server-tools/rz-doc) | 0 | ||||
| -rwxr-xr-x | src/local/server-tools/rz_user.py (renamed from src/local/server-tools/rz-user) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/src/local/server-tools/rz-doc b/src/local/server-tools/rz_doc.py index 7d1fb26a..7d1fb26a 100755 --- a/src/local/server-tools/rz-doc +++ b/src/local/server-tools/rz_doc.py diff --git a/src/local/server-tools/rz-user b/src/local/server-tools/rz_user.py index d60fbe63..d60fbe63 100755 --- a/src/local/server-tools/rz-user +++ b/src/local/server-tools/rz_user.py |