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 07541c7..d075383 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@unibz.it>
+-- Maintainer : Andrea Rossato <andrea.rossato@unitn.it>
-- Stability : unstable
-- Portability : unportable
--