Chris PeBenito d90b274e40 for now, drop infoflow tags		2005-06-09 17:23:53 +00:00
..
config	move user_u and root to users	2005-06-01 17:40:22 +00:00
doc	make infoflow optional	2005-06-08 20:08:24 +00:00
policy	for now, drop infoflow tags	2005-06-09 17:23:53 +00:00
support	overhaul	2005-06-08 19:57:26 +00:00
Makefile	make policy.xml depend on all if's being generated	2005-06-09 17:23:23 +00:00