diff options
author | Sander Vrijders <[email protected]> | 2016-05-29 20:25:41 +0200 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2016-05-29 20:57:48 +0200 |
commit | a76b638a370cd0cdd087ec780e6b1f8d18bac66d (patch) | |
tree | 6eddda98b7c8b3f723e95d8b19505a512db1593d /src/tools/echo | |
parent | 81cdb27742f9ae93169b0b03d1a45090c4354f89 (diff) | |
download | ouroboros-a76b638a370cd0cdd087ec780e6b1f8d18bac66d.tar.gz ouroboros-a76b638a370cd0cdd087ec780e6b1f8d18bac66d.zip |
irmd: Add wildcarding of DIF names
This adds wildcarding of DIF names so that application developers can
for instance specify home.* to specify all home DIFs.
Diffstat (limited to 'src/tools/echo')
0 files changed, 0 insertions, 0 deletions