1. 28 Nov, 2018 2 commits
  2. 27 Nov, 2018 2 commits
  3. 26 Nov, 2018 3 commits
  4. 01 Nov, 2018 3 commits
  5. 31 Oct, 2018 1 commit
  6. 28 Feb, 2018 1 commit
  7. 27 Feb, 2018 4 commits
  8. 26 Feb, 2018 1 commit
    • Benjamin Lorenz's avatar
      user dir: cleanup pre-ninja private wrapper dir · 5416595f
      Benjamin Lorenz authored
      polymake fails to start when there is a pre-ninja private wrapper directory:
      ninja: fatal: chdir to '.polymake/wrappers.0/build/Opt' - No such file or directory
      this only occurs when 3.2 is installed in the same prefix as the old version,
      otherwise it will use a different wrappers.x directory
      
      polymake now ignores private wrapper directories without config.ninja at startup
      and it will get cleaned up during create_private_wrapper when a new wrapper is requested
      5416595f
  9. 25 Feb, 2018 10 commits
  10. 24 Feb, 2018 10 commits
  11. 16 Feb, 2018 1 commit
  12. 08 Feb, 2018 2 commits