diff --git a/config/1033/VC-LTL-Options.xml b/config/1033/VC-LTL-Options.xml index 429c55a..8c7a9a1 100644 --- a/config/1033/VC-LTL-Options.xml +++ b/config/1033/VC-LTL-Options.xml @@ -37,12 +37,6 @@ Category="VC_LTL" DisplayName="Enable VC-LTL" Description="Allow the current project to enable VC-LTL."/> - - - -