BrowserSecurity
/
Core_DOM-dev
Archived
forked from afp-mirror/Core_DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Use same timeout as the AFP entry.

This commit is contained in:
Achim D. Brucker 2020-04-15 23:28:26 +01:00
parent 3af8260512
commit ae40d61017
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Core_DOM/Core_DOM/ROOT
View File

@ -1,7 +1,7 @@
chapter AFP
session "Core_DOM" (AFP) = "HOL-Library" +
options [timeout = 600]
options [timeout = 1200]
directories
"common"
"common/classes"