diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-09-19 22:40:37 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-10-03 09:06:27 +0200 |
| commit | 8525a665fad5aeb020306dd49809ca16c4044f22 (patch) | |
| tree | 5a60ace1d9b7a829057d4ac694119fb2fdfd4335 /debian/install | |
| parent | 6ecb19ada66d54cc0afeb3d27d89700473cde70a (diff) | |
| download | debian-edu-fai+itzks-8525a665fad5aeb020306dd49809ca16c4044f22.tar.gz debian-edu-fai+itzks-8525a665fad5aeb020306dd49809ca16c4044f22.tar.bz2 debian-edu-fai+itzks-8525a665fad5aeb020306dd49809ca16c4044f22.zip | |
debian/: Wrap up debian-edu-fai package.
Diffstat (limited to 'debian/install')
| -rw-r--r-- | debian/install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/install b/debian/install new file mode 100644 index 0000000..a482aa9 --- /dev/null +++ b/debian/install @@ -0,0 +1 @@ +fai/config /usr/share/debian-edu-fai/fai/ |