git.barrelfish.org Git - barrelfish/commit

author	Reto Achermann <reto.achermann@inf.ethz.ch>
	Sat, 22 Jul 2017 15:30:28 +0000 (17:30 +0200)
committer	Reto Achermann <reto.achermann@inf.ethz.ch>
	Sun, 23 Jul 2017 07:01:09 +0000 (09:01 +0200)
commit	35904ae85493f7c3a1bf11e6f36b993f1653787e
tree	687a557d00c5361957c7848a7b2303ea1ddcee63	tree \| snapshot
parent	a42000e27dd5edfe41aee24d16bed882233d108c	commit \| diff

octopus: remove include to flounder file in public include

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Barrelfish OS git repo

include/octopus_server/query.h		diff \| blob \| history
include/octopus_server/service.h		diff \| blob \| history
lib/net/Hakefile		diff \| blob \| history
lib/net/arp.c		diff \| blob \| history
lib/net/dhcp.c		diff \| blob \| history
usr/skb/octopus/predicates.c		diff \| blob \| history