diff options
| author | Ingo Bürk | 2018-06-22 13:55:09 +0200 |
|---|---|---|
| committer | GitHub | 2018-06-22 13:55:09 +0200 |
| commit | 4d3344ab9cd68bad5faf4ed3dad185dfcacb1e3d (patch) | |
| tree | 66846b5f6023291fda2d72fe523d4ee0614d2a1f /man | |
| parent | Merge pull request #289 from bebehei/testsuite (diff) | |
| parent | Prevent potential crash if glob() fails (diff) | |
Merge pull request #290 from duskCoder/changes
Fix potential issues & avoid unnecessary instructions
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions