Skip to content

reflect the changed JIra-URL

Ghost User requested to merge pr-change-jira-url into master
  • The Jira URL has been changed. THis change has to be reflected in the documentation

Modifications

  • change all occurrences of os-234-jira.desy.de to hifis-jira.desy.de

Result

The produced documentation contains the valid URLs

Merge request reports

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog