Admin message

WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.

Branches

  • Overview
  • Active
  • Stale
  • All
  • addDiffCR
    a209e00a · Moving baselines to public/baselines · Apr 10, 2024
  • devel
    605cf865 · Changing rules to execute pipeline only during creation (not update) of merge request · Feb 28, 2024
  • upgradeIndex
    1a7f4254 · Update index.html · Dec 14, 2023
  • clause0
    0c7bd06a · Some small fixes when dealing with empty lines · Dec 07, 2023
  • newCoversheet
    0287b054 · Changing coversheet template to use in merge request · Oct 06, 2023
  • using_pages
    19ee1319 · Clean up · Oct 05, 2023
  • testTables
    d6aea026 · Back to <span> · Aug 16, 2023
  • miguel
    29b1bf60 · Generation of changemark CR: · Jul 20, 2023
  • publication
    4e0cec87 · Updating onem2m coversheet template · Feb 20, 2023
  • 1
  • 2