Skip to content
Snippets Groups Projects

Documentation pages

Merged Allan Blanchard requested to merge feature/wiki into master
+ 6
6
@@ -90,7 +90,7 @@ function(err, data) {
</div>
<div class="messageWrap">
<span>Type your message</span>
<span>Type your message</span>
<textarea id="contact_textarea" name="message" placeholder="Your message" data-parsley-required=""
data-parsley-errors-container=".textareaError" maxlength="220">
</textarea>
@@ -124,20 +124,20 @@ function(err, data) {
<p><a href="mailto:florent.kirchner@cea.fr">Florent.Kirchner@cea.fr</a><small>|</small><a href=
"mailto:loic.correnson@cea.fr">Loic.Correnson@cea.fr</a></p>
</div>
<div class="usefulLinks" id="side-content">
<h3 class="subTitle">Community</h3>
<div id="sidebar-content">
<ul class="side-feed">
<li class="icon_1">
<a href="https://bts.frama-c.com/my_view_page.php" target="_blank">
<a href="https://git.frama-c.com/pub/frama-c/issues" target="_blank">
<div class="slideCaption">
Bug Tracker
</div>
<div class="description">
The official Frama-C bug tracking system (BTS).
The official Frama-C git repository.
</div></a>
</li>
@@ -198,12 +198,12 @@ function(err, data) {
</ul>
</div>
</div>
<div class="stackPost" id="stackpots">
<h3 class="subTitle">Newest Frama-C Questions & Answers on Stack Overflow</h3>
<ul id="postsStack">
</ul>
</div>
</div>
Loading