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 | |
parent | b3f027c605992040981c81d34ccc02a9f1976c07 (diff) | |
parent | 1759fac62c33877a7ebc52a423d6f99ddc9d08c4 (diff) |
Merge branch 'release/debian/3.1.7-1' into masterdebian/3.1.7-1
Diffstat (limited to 'hpiutil')
-rw-r--r--[-rwxr-xr-x] | hpiutil/env.hpi | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | hpiutil/env.openhpi | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/hpiutil/env.hpi b/hpiutil/env.hpi index 2d14c96..2d14c96 100755..100644 --- a/hpiutil/env.hpi +++ b/hpiutil/env.hpi diff --git a/hpiutil/env.openhpi b/hpiutil/env.openhpi index 53bdee6..53bdee6 100755..100644 --- a/hpiutil/env.openhpi +++ b/hpiutil/env.openhpi |