diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-03-17 16:49:06 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-03-19 10:29:09 +0100 |
| commit | c9747304271f63064687178938bf2a4060ef0180 (patch) | |
| tree | 4b13c19e381948e7041ba4a78d24b8245f0f7172 /src/tools/irm/irm.c | |
| parent | a6a83171d5c7d09301ffd52ac9ea5c67758714ee (diff) | |
| download | ouroboros-c9747304271f63064687178938bf2a4060ef0180.tar.gz ouroboros-c9747304271f63064687178938bf2a4060ef0180.zip | |
tools: Fix help information for oecho
The oecho tool still used its old "echo-app" name in the usage() output.
The destination name is also changed to oecho.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'src/tools/irm/irm.c')
0 files changed, 0 insertions, 0 deletions