Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
cloud10by5-105.ltl 118 Bytes
Newer Older
Jaime Arias's avatar
Initial commit  
Jaime Arias committed
1 
((ServerContainer==1) || !(SwContainer==1) || <>!(Wsr3Deployed==1)) <-> []((Wsr3Deployed==1) || [](WebAppRuntime==1))