author | Simon Gerber <simon.gerber@inf.ethz.ch> | |
Fri, 2 Jun 2017 08:51:22 +0000 (10:51 +0200) | ||
committer | Simon Gerber <simon.gerber@inf.ethz.ch> | |
Fri, 2 Jun 2017 11:57:32 +0000 (13:57 +0200) | ||
commit | 782117ab58b38643f0061e6d4cfad2a023512aa2 | |
tree | a196dc335d113bfccd2a3d84c3ad3d1ffc376a01 | tree | snapshot |
parent | c5801e767c777b4f3cd6b7655c24ce4d0e231368 | commit | diff |
doc/013-capability-mgmt/type_system.tex | diff | blob | history | |
usr/monitor/include/monitor_invocations.h | diff | blob | history |