1. 27 Nov, 2018 1 commit
  2. 12 Dec, 2017 1 commit
    • anonym's avatar
      Vagrant: never build the wiki early. · 3a622350
      anonym authored
      This has caused several issues throughout the years, the lastest
      instance being the reopening of #14933, so let's just remove this
      feature. The optimization this allows for when rebuilding the same
      branch frequently (together with the keeprunning option) was probably
      only used by me, and rarely at that, so I'd argue it is not worth the
      maintenance cost.
      
      Will-fix: #14933
      3a622350
  3. 09 Nov, 2017 1 commit
  4. 01 Jun, 2017 1 commit
  5. 22 May, 2017 1 commit
  6. 10 May, 2017 1 commit
  7. 09 May, 2017 2 commits
  8. 17 Apr, 2017 1 commit
  9. 16 Mar, 2017 15 commits
  10. 15 Mar, 2017 13 commits
  11. 13 Mar, 2017 1 commit
  12. 20 Dec, 2016 2 commits