update

[l4.git] / l4 / pkg / dde / include / ddekit / __usem_wrap.h

diff --git a/l4/pkg/dde/include/ddekit/__usem_wrap.h b/l4/pkg/dde/include/ddekit/__usem_wrap.h
index a1c7db524c432a64794d54600213a547b86006e1..1a775510d4274d88881ed85e5477ffead9fa30e0 100644 (file)
--- a/l4/pkg/dde/include/ddekit/__usem_wrap.h
+++ b/l4/pkg/dde/include/ddekit/__usem_wrap.h
@@ -1,9 +1,16 @@
 /*
- * (c) 2009 Technische Universität Dresden
+ * This file is part of DDEKit.
+ *
+ * (c) 2009-2010 Bjoern Doebel <doebel@os.inf.tu-dresden.de>
+ *               Christian Helmuth <ch12@os.inf.tu-dresden.de>
+ *               Thomas Friebel <tf13@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universitaet Dresden (Germany)
+ *
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU General Public License 2.
  * Please see the COPYING-GPL-2 file for details.
  */
+
 #pragma once
 
 #include <l4/re/c/util/cap_alloc.h>