diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-04-04 14:53:52 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-04-04 14:56:11 +0200 |
| commit | b4efed15b89f73cd977674f1cc5ac60b89616dec (patch) | |
| tree | 70ddcceddd90fed8fe555a56ba98af8dbd67cc35 /debian/itzks-systems-terminalserver.manpages | |
| parent | 080be6c22f287d24133f5d319e083d7674c4ed0b (diff) | |
| download | itzks-systems-b4efed15b89f73cd977674f1cc5ac60b89616dec.tar.gz itzks-systems-b4efed15b89f73cd977674f1cc5ac60b89616dec.tar.bz2 itzks-systems-b4efed15b89f73cd977674f1cc5ac60b89616dec.zip | |
Add man pages for the scripts this package provides.
Diffstat (limited to 'debian/itzks-systems-terminalserver.manpages')
| -rw-r--r-- | debian/itzks-systems-terminalserver.manpages | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/itzks-systems-terminalserver.manpages b/debian/itzks-systems-terminalserver.manpages new file mode 100644 index 0000000..e4694fe --- /dev/null +++ b/debian/itzks-systems-terminalserver.manpages @@ -0,0 +1 @@ +man/itzks-goodbye-user-session.1
\ No newline at end of file |