diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2020-09-14 12:27:56 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2020-09-14 12:27:56 +0200 |
commit | cce57c35b301d83ded5e5eaed9705744cffcfb56 (patch) | |
tree | 29dc5c93b1bc45be42e68f00b81c1106c3935862 /hpiutil | |
parent | 13dc8738dcd4739941735eab4d1956ccce770525 (diff) | |
parent | 808dd89a2beae6ab1d29d35f6119ad5b36969589 (diff) |
Merge branch 'feature/upstream' into develop
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 |