Mercurial Mercurial > hg > selinux / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
no_shm_selinux/Enrich.thy
changeset 94 042e1e7fd505
parent 93 dfde07c7cd6b
child 95 b7fd75d104bf 
--- a/no_shm_selinux/Enrich.thy	Thu Jan 09 19:09:09 2014 +0800
+++ b/no_shm_selinux/Enrich.thy	Thu Jan 09 22:53:45 2014 +0800
@@ -7,6 +7,7 @@
 datatype t_enrich_obj = 
   E_proc "t_process" "t_msgq" "t_msgq"
 | E_file "t_file" "nat" 
+| E_file_link "t_file"
 | E_msgq "t_msgq"
 
 (* objects that need dynamic indexing, all nature-numbers *)
selinux