Merge branch 'stable' into 'devel'devel
[tails.git] / config / patch / 
tree18356b39488cac4111d5eade8c71a05940d5fd93
drwxr-xr-x   ..
-rw-r--r-- 178 .gitignore
drwxr-xr-x - hooks
drwxr-xr-x - lib
drwxr-xr-x - packages
drwxr-xr-x - rw-includes
-rwxr-xr-x 294 set-rw-includes-permissions.sh