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.027Aug252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221[publis] ^M seems to be important[publis] Frama-C general, Eva WP, E-ACSLMerge branch 'master' of git.frama-c.com:pub/pub.frama-c.comfix _ in tags[blog] remove duplicate text in postsMerge 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 it