diff --git a/html/overview.md b/html/overview.md index 68bb2056d37909cfc7ab0b921dd52074baa3081d..26b8828f4913ce2ee69931567640ec93b78f1f7d 100644 --- a/html/overview.md +++ b/html/overview.md @@ -1,8 +1,7 @@ --- layout: overview_page -css: plugin title: Overview - Frama-C -video: "https://www.youtube.com/embed/WBXPDfz2u1c" +video: "https://www.youtube-nocookie.com/embed/WBXPDfz2u1c" --- # What is Frama-C?