# Format: (all on one line)
#   Source file : Copyright Owner(s) : License
# Please use "TUD" when referring to TU Dresden.
# If sole owner is TUD, the license field defaults to GPL and can be
# left empty.
# Source-file spec can be a directory name or a wildcard like "src/*.c".
doc : TUD
include : TUD
include-x2 : Universitt Karlsruhe
lib/src/L4API-l4x2 : Universitt Karlsruhe
lib : TUD
