diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2025-11-28 18:16:16 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2025-11-28 18:16:16 +0100 |
| commit | 4e66d837a0eb7f4538305fd4579da9293f581b81 (patch) | |
| tree | 023c22d9de3b5018e5461b87defcbc039af7724e /shell | |
| parent | 5f5c3d56c4351513c5faa1d7f0a6aa752c25e010 (diff) | |
add query to help message
Diffstat (limited to 'shell')
0 files changed, 0 insertions, 0 deletions