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.016Nov54230Oct29282726232221125Sep987432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Version page descriptionMerge branch 'doc-pdg-slicing-french' into 'master'add description in layouts, fix page.nameTypoAdds slicing documentation in quick accessAdds description to main pagesadd French documentation for Slicing and PDGMerge branch 'fix-scandium-installation-instructions' into 'master'Fix Scandium installation instructionsMerge branch 'clean/cssminify' into 'master'Merge branch 'blog-docker-images' into 'master'add blog postrestore swiper css for safetyremove exit 0 to tryclean css of changelogadd rejected classes printadd install purify cssadd another stage in CIadd dependenciesnodejsnodejsadd nodejsMerge branch 'fix-beta-accent' into 'master'add ci for CSS check and minifierfurther CSS cleanre add changelog css (as not generated offline)add minifier plugininitial clean of css by toolmove swiper.css to html for detection by purifycssremove extraneous accentsMerge branch 'fix/main-page/displayed-version-names' into 'master'Be sure that lastest version is the stable oneMerge branch 'Harmonize-last-event' into 'master'Harmonize last eventMerge branch 'new-mailing-list' into 'master'Update Frama-C Discuss linkMerge branch 'release/22-titanium' into 'master'Fixes E-ACSL manual locationMerge branch 'release/22-titanium' into 'master'Fixes links and content for installation