summaryrefslogtreecommitdiffhomepage
path: root/Plugins.hs
diff options
context:
space:
mode:
Diffstat (limited to 'Plugins.hs')
-rw-r--r--Plugins.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Plugins.hs b/Plugins.hs
index d075383..4255244 100644
--- a/Plugins.hs
+++ b/Plugins.hs
@@ -4,7 +4,7 @@
-- Copyright : (c) Andrea Rossato
-- License : BSD-style (see LICENSE)
--
--- Maintainer : Andrea Rossato <andrea.rossato@unitn.it>
+-- Maintainer : Jose A. Ortega Ruiz <jao@gnu.org>
-- Stability : unstable
-- Portability : unportable
--