afp-mirror
/
UPF_Firewall
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Renamed session to avoid conflict with activated AFP.

This commit is contained in:
Achim D. Brucker 2019-01-05 17:55:27 +00:00
parent dcc6ae26ab
commit 5e96945e92
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
UPF_Firewall/ROOT
View File

@ -1,6 +1,6 @@
chapter AFP
session "UPF_Firewall" (AFP) = UPF +
session "UPF_Firewall-devel" (AFP) = UPF +
description {* Formal Network Models and Their Application to Firewall Policies *}
options [timeout = 600]
theories