1. 30 Jun, 2018 5 commits
  2. 28 Feb, 2018 1 commit
  3. 27 Feb, 2018 4 commits
  4. 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
  5. 25 Feb, 2018 10 commits
  6. 24 Feb, 2018 10 commits
  7. 16 Feb, 2018 1 commit
  8. 08 Feb, 2018 4 commits
  9. 15 Aug, 2017 1 commit
  10. 13 Aug, 2017 2 commits
  11. 05 Jul, 2017 1 commit