diff options
author | Deposite Pirate | 2018-09-16 22:58:59 +0200 |
---|---|---|
committer | Deposite Pirate | 2018-09-16 22:58:59 +0200 |
commit | 70083671824589998eb60feadb1063f4c5b79931 (patch) | |
tree | eca5ab2a0778593b00f98b4bbbc151a4fd838894 /debian/dirs | |
parent | f29f632e05deb807b21966b448eb2cc65f36dfc3 (diff) |
Debian support.
Diffstat (limited to 'debian/dirs')
-rw-r--r-- | debian/dirs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/dirs b/debian/dirs new file mode 100644 index 0000000..5b815f7 --- /dev/null +++ b/debian/dirs @@ -0,0 +1,8 @@ +usr/lib +usr/include +usr/man/man3 +usr/man/man1 +usr/bin +usr/lib/libc5-compat +usr/doc/libcompface +usr/doc/compface |