1. 13 Mar, 2017 6 commits
  2. 10 Mar, 2017 3 commits
  3. 09 Mar, 2017 5 commits
  4. 08 Mar, 2017 9 commits
  5. 07 Mar, 2017 2 commits
  6. 06 Mar, 2017 1 commit
  7. 03 Mar, 2017 5 commits
  8. 02 Mar, 2017 1 commit
  9. 01 Mar, 2017 4 commits
  10. 28 Feb, 2017 3 commits
  11. 27 Feb, 2017 1 commit
    • Cedric Roux's avatar
      Merge branch 'develop_integration_w08' into 'develop' · 5c0f42a2
      Cedric Roux authored
      Develop integration w08
      
      Summary of changes:
      - various bugs fixed
      - pre-commit script for better indentation: see commit 068ce4ca
        For the moment, each contributor has to enable the script (and install astyle) by hand.
        Maybe at some point the script will be mandatory.
      
      See merge request !124
      5c0f42a2