Skip to content
Snippets Groups Projects

[plugins] Convert to Markdown, normalize section names and URLs

Merged [plugins] Convert to Markdown, normalize section names and URLs
plugins-to-markdown into master
1 unresolved thread
Merged Andre Maroneze requested to merge plugins-to-markdown into master
1 unresolved thread
Viewing commit bd3a2f45
Prev Next
Show latest version
2 files
+ 10
− 3
Compare changes
  • Side-by-side
  • Inline
Files
2
_layouts/feature.html
+ 7
− 4
@@ -4,18 +4,21 @@ css: plugin
title: Kernel & Plugins - Frama-C
---
<body class="page-template page-template-page-kernel page-template-page-kernel-php page page-id-179 nonTouch">
<body class="page-template page-template-page-kernel page-template-page-kernel-php page nonTouch">
<div id="wrapper" class="hfeed">
{% include headers.html header=2%}
{% include headers.html header=2 %}
<div id="container" class="mainContainer">
<div class="tabs">
<div class="wrap">
{% for tab in site.data.tabs %}
<a class="tabLink {% if page.active==forloop.index %}active{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a> <em></em>
{% endfor %}
<a class="tabLink {% if page.active==forloop.index %}active locked{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a>
{% unless forloop.last %}
<em></em>
{% endunless %}
{% endfor %}
{% if page.active == 1 %}
<div class="tabOptions">