1. 23 Aug, 2021 1 commit
  2. 11 Aug, 2020 1 commit
    • gsell's avatar
      various fixes in manual · 7418041a
      gsell authored
      - tabs replaced with spaces in Manual.attributes
      - unused definition of attribute 'baseurl' removed
      - use attribute 'link_manual_src' instead of 'link_OPAL_doc'
      7418041a
  3. 10 Aug, 2020 3 commits