projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7e872c) | patch
octopus: remove inclusion to flounder header from public trigger.h
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 7 Apr 2017 07:30:00 +0000 (09:30 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 7 Apr 2017 07:30:00 +0000 (09:30 +0200)
commit75f5aa1b7af11fe1868c266ca9b942ae8c5fe6eb
tree3efc42803b46573904b8a6ac2fb58d5bb073b8betree | snapshot
parentc7e872c481b2281169944b1f36fd46797be935a9commit | diff
octopus: remove inclusion to flounder header from public trigger.h

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
include/octopus/trigger.h diff | blob | history
Barrelfish OS git repo