diff options
| author | Fritz Elfert <felfert@to.com> | 2002-07-16 05:58:13 +0000 |
|---|---|---|
| committer | Fritz Elfert <felfert@to.com> | 2002-07-16 05:58:13 +0000 |
| commit | adec25f54995debcaa165864eaaf4654802f0ca0 (patch) | |
| tree | 6c60f3f3939ab61af128208ee85eb80bb1ef7ce4 /debian/plptools.config | |
| parent | eb1cae45049c5b46caf4eba36f67997d921b018b (diff) | |
| download | plptools-adec25f54995debcaa165864eaaf4654802f0ca0.tar.gz plptools-adec25f54995debcaa165864eaaf4654802f0ca0.tar.bz2 plptools-adec25f54995debcaa165864eaaf4654802f0ca0.zip | |
- Debian package now nearly finished
- Applied patches from Chris Halls <chris.halls@gmx.de>
Diffstat (limited to 'debian/plptools.config')
| -rw-r--r-- | debian/plptools.config | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/plptools.config b/debian/plptools.config new file mode 100644 index 0000000..6fe411f --- /dev/null +++ b/debian/plptools.config @@ -0,0 +1,11 @@ +#! /bin/sh + +set -e +# Use debconf baby +. /usr/share/debconf/confmodule + +# minimalistic for now ;-) +db_text medium plptools/customize || true +db_go + +exit 0 |