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.028Oct2726232221125Sep987432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Merge branch 'positions' into 'master'Removed old positions and added position skeletonRemoves bad charactersAdd keywords to position summaryReactivate header in jobs pagesAdd positions to Contact pageMerge branch 'feature/improved-versions' into 'master'Fixes link for ScandiumBetter attachment (not perfect though)Publication CSS now checks Nav presenceForce max-width for version blockReorganizes Get Frama-C pageFixes anchor link in Scandium installationChanges installation instructions CSSFix scandium minorFixes Changelog links and versions footerFixes version display on narrow screensFixes version divNo more "previous" versions but "all" incl. bêtaFixes versions 16 and 17Add bêta version to versions when it is availableFixes versions content for 19, 20 and 21Improved version pagesMerge branch 'changelog/generator' into 'master'recompileMakes sure plugins are after kernelrecompile generateMerge branch 'changelog/generator' of git.frama-c.com:pub/pub.frama-c.com into changelog/generatorcomment strange formattingTakes old versions in account during release comparisonremove test in CItry with before scriptfix curl path E-ACSLtest concatfix tiret and spacesMerge branch 'fix/versions' into 'master'Removes strange values in releasesMerge branch 'thibault/add_ltest' into 'master'Changed category for icse 2018fix swiper arrows