diff options
Diffstat (limited to 'Plugins/PipeReader.hs')
| -rw-r--r-- | Plugins/PipeReader.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Plugins/PipeReader.hs b/Plugins/PipeReader.hs index 3886ec6..3fd0dd4 100644 --- a/Plugins/PipeReader.hs +++ b/Plugins/PipeReader.hs @@ -4,7 +4,7 @@ -- Copyright : (c) Andrea Rossato -- License : BSD-style (see LICENSE) -- --- Maintainer : Andrea Rossato <andrea.rossato@unibz.it> +-- Maintainer : Jose A. Ortega Ruiz <jao@gnu.org> -- Stability : unstable -- Portability : unportable -- |