diff options
Diffstat (limited to 'extra')
| -rw-r--r-- | extra/jigdo/.footprint | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/extra/jigdo/.footprint b/extra/jigdo/.footprint new file mode 100644 index 000000000..fa10014dc --- /dev/null +++ b/extra/jigdo/.footprint @@ -0,0 +1,14 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/jigdo-file +-rwxr-xr-x root/root usr/bin/jigdo-lite +-rwxr-xr-x root/root usr/bin/jigdo-mirror +drwxr-xr-x root/root usr/man/ +drwxr-xr-x root/root usr/man/man1/ +-rwxr-xr-x root/root usr/man/man1/jigdo-file.1 +-rwxr-xr-x root/root usr/man/man1/jigdo-lite.1 +-rwxr-xr-x root/root usr/man/man1/jigdo-mirror.1 +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/jigdo/ +-rw-r--r-- root/root usr/share/jigdo/debian-mirrors.jigdo +drwxr-xr-x root/root usr/share/locale/ |