update

[l4.git] / l4 / pkg / plr / server / src / fault_handlers / kiptime.cc

diff --git a/l4/pkg/plr/server/src/fault_handlers/kiptime.cc b/l4/pkg/plr/server/src/fault_handlers/kiptime.cc
index 5708f35aac617cadb715ce114a94b60f5ea5610d..0c5b7213111ed2e01e5640e0c1a92d1a6f5ba0a3 100644 (file)
--- a/l4/pkg/plr/server/src/fault_handlers/kiptime.cc
+++ b/l4/pkg/plr/server/src/fault_handlers/kiptime.cc
@@ -1,7 +1,7 @@
 /*
  * kiptime.cc --
  *
- * (c) 2011-2012 Björn Döbel <doebel@os.inf.tu-dresden.de>,
+ * (c) 2011-2013 Björn Döbel <doebel@os.inf.tu-dresden.de>,
  *     economic rights: Technische Universität Dresden (Germany)
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU General Public License 2.