Skip to content
Snippets Groups Projects
Select Git revision
  • feature/bdesloges/rss-feed
  • feature/bdesloges/update-ivette-page
  • fix/martin/fix-changelog-event-display
  • improve-index-wip-proposal
  • master default protected
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.027Aug252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Merge branch 'feature/menu/withoutjs' into 'master'fix side-bar blog tags for category pagesadd download button, fix z-indexclean some useless classesremove js from phone menuremove remaining big text and corresp css, and arrowTooltip unused cssMerge branch 'refacto' into 'master'Lighter color for WindowsRemoves getFramaC gray backgroundMerge branch 'refacto' of git.frama-c.com:pub/pub.frama-c.com into refactocodeTabs to relativ sizeDisables "using frama-c" pageFixes institutions display in "authors"Slightly improves header displayFooter is now opaquefix get frama-cBetter date displayChanges calendar event display for small sizefix js error, remove latestquick fix cssrecenter stuffMerge branch 'refacto' of git.frama-c.com:pub/pub.frama-c.com into refactorefacto le jsShorter name for the WP tutorialRelaxes tiles right paddingMore robust way to select header valuefix in versionsChanges some tiles thresholdRemoves unused CSS classesGeneralize tiles and use it for pluginsGeneric (small) tilesDocumentation CSS is now in the rigth fileMerge branch 'new-doc-page' into 'master'Darker linksFixes (again) tiles display and simplifies itTypo in DocumentationMoves links so that documentation is more conciseBetter links display in documentationFixes documentation tiles displayMap documentation link to the new page