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/env.openhpi | |
| parent | 13dc8738dcd4739941735eab4d1956ccce770525 (diff) | |
| parent | 808dd89a2beae6ab1d29d35f6119ad5b36969589 (diff) | |
Merge branch 'feature/upstream' into develop
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 |