summaryrefslogtreecommitdiff
path: root/manualPorts/dhex/.footprint
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-05-20 23:39:02 +0200
committerErich Eckner <git@eckner.net>2020-05-20 23:39:02 +0200
commit3b9dc14611725fb29f8ae569f78cd27b900d3722 (patch)
tree5589fc81a85822a0e685ead48923b9ae46ca204d /manualPorts/dhex/.footprint
parent4e5b4fa31cd2809d5487cf7466cb7f7909df8f11 (diff)
downloadcrux-ports-3b9dc14611725fb29f8ae569f78cd27b900d3722.tar.xz
dhex new
Diffstat (limited to 'manualPorts/dhex/.footprint')
-rw-r--r--manualPorts/dhex/.footprint11
1 files changed, 11 insertions, 0 deletions
diff --git a/manualPorts/dhex/.footprint b/manualPorts/dhex/.footprint
new file mode 100644
index 0000000..4b13e83
--- /dev/null
+++ b/manualPorts/dhex/.footprint
@@ -0,0 +1,11 @@
+drwxr-xr-x root/root usr/
+drwxr-xr-x root/root usr/bin/
+-rwxr-xr-x root/root usr/bin/dhex
+drwxr-xr-x root/root usr/share/
+drwxr-xr-x root/root usr/share/man/
+drwxr-xr-x root/root usr/share/man/man1/
+-rw-r--r-- root/root usr/share/man/man1/dhex.1.gz
+drwxr-xr-x root/root usr/share/man/man5/
+-rw-r--r-- root/root usr/share/man/man5/dhex_markers.5.gz
+-rw-r--r-- root/root usr/share/man/man5/dhex_searchlog.5.gz
+-rw-r--r-- root/root usr/share/man/man5/dhexrc.5.gz