diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-05-29 20:25:41 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-05-29 20:57:48 +0200 |
| commit | a76b638a370cd0cdd087ec780e6b1f8d18bac66d (patch) | |
| tree | 6eddda98b7c8b3f723e95d8b19505a512db1593d /install_release.sh | |
| 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 'install_release.sh')
0 files changed, 0 insertions, 0 deletions