1. 20 Nov, 2016 1 commit
  2. 26 Oct, 2016 1 commit
  3. 23 Oct, 2016 1 commit
  4. 28 Sep, 2016 1 commit
  5. 22 Sep, 2016 1 commit
  6. 21 Sep, 2016 1 commit
  7. 02 Sep, 2016 2 commits
  8. 17 Aug, 2016 1 commit
  9. 16 Aug, 2016 2 commits
  10. 02 Aug, 2016 1 commit
  11. 11 Jul, 2016 1 commit
  12. 10 Jul, 2016 2 commits
  13. 08 Jul, 2016 1 commit
  14. 04 Jul, 2016 1 commit
  15. 18 Jun, 2016 1 commit
  16. 17 Jun, 2016 1 commit
  17. 15 Jun, 2016 3 commits
    • Lorenz Huedepohl's avatar
      Cleanup of configure arguments · 0da56d61
      Lorenz Huedepohl authored
      It is now
      
        --enable-timing
        --enable-redirect
        --with-papi
      
      instead of the more confusing
      
        --with-ftimings
        --with-redirect
        --disable-papi
      
      For once, the --with versions of timing and redirect could not cope with
      --with-timing=no, --with-redirect=no (this was interpreted like =yes).
      Also, --with switches are supposed to be for optional dependencies on
      other software, not for configuring optional parts of the software
      itself.
      0da56d61
    • Andreas Marek's avatar
      e451b897
    • Andreas Marek's avatar
      Change of gitlab ci · 352be0ce
      Andreas Marek authored
      352be0ce
  18. 13 Jun, 2016 2 commits
  19. 12 Jun, 2016 6 commits
  20. 11 Jun, 2016 2 commits
  21. 10 Jun, 2016 1 commit
  22. 08 Jun, 2016 1 commit
  23. 03 Jun, 2016 3 commits
  24. 02 Jun, 2016 1 commit
  25. 30 May, 2016 1 commit
  26. 25 May, 2016 1 commit