Skip to content
Snippets Groups Projects
Commit f9abe4ca authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Disables "using frama-c" page

parent 20531ea8
No related branches found
No related tags found
1 merge request!44Creates a CSS for tiles and removes old stuff
Pipeline #28289 passed
Stage: test
    Stage: deploy
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 3 additions and 3 deletions
      _data/nav.yml
      + 3
      − 3
      View file @ f9abe4ca
      - name: Using Frama-C
      link: /html/using-frama-c.html
      id : using
      #- name: Using Frama-C
      # link: /html/using-frama-c.html
      # id : using
      - name: Features
      link: /html/kernel-plugin.html
      id : features
      ......
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment