Permalink
Browse files

adding to roots

  • Loading branch information...
Diekmann
Diekmann committed May 11, 2017
1 parent 96d21f6 commit 5882829a2b359ac84eee23e16db99966e3b0a4a1
Showing with 2 additions and 0 deletions.
  1. +2 −0 thy/Iptables_Semantics/ROOT
@@ -51,6 +51,8 @@ session "Iptables_Semantics" = Routing +
"Primitive_Matchers/Parser"
"Simple_Firewall/SimpleFw_Compliance"
"Examples/Code_haskell"
Access_Matrix_Embeddings
No_Spoof_Embeddings
Documentation
document_files
"root.tex"

0 comments on commit 5882829

Please sign in to comment.