diff options
| author | tv <tv@shackspace.de> | 2015-03-17 07:47:09 +0100 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-05-19 23:10:57 +0200 |
| commit | a59c2b3e03c651bda205de432a074debbf126300 (patch) | |
| tree | 6f15d4a090b495b0cc248d63c71b0a869afc7acf /run | |
| parent | 3867e1866a24ce29908dedfee534bbfe93a90c11 (diff) | |
lib shell-escape: use builtins.match
Diffstat (limited to 'run')
0 files changed, 0 insertions, 0 deletions