diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2020-09-17 10:48:23 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2020-09-17 10:48:23 +0200 |
| commit | 12f0c28c2c2a1785278df0d0731ef57921c0cd1a (patch) | |
| tree | e0f40e53ff7ee84973790fb4b388ededa536dbe8 /hpiutil/env.openhpi | |
| parent | b3f027c605992040981c81d34ccc02a9f1976c07 (diff) | |
| parent | 1759fac62c33877a7ebc52a423d6f99ddc9d08c4 (diff) | |
Merge branch 'release/debian/3.1.7-1' into masterdebian/3.1.7-1
Diffstat (limited to 'hpiutil/env.openhpi')
| -rw-r--r--[-rwxr-xr-x] | hpiutil/env.openhpi | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/hpiutil/env.openhpi b/hpiutil/env.openhpi index 53bdee6..53bdee6 100755..100644 --- a/hpiutil/env.openhpi +++ b/hpiutil/env.openhpi |