1. 18 Feb, 2017 1 commit
  2. 07 Feb, 2017 1 commit
  3. 18 May, 2016 1 commit
    • Ian Hickson's avatar
      Try to simplify our bot setup. (#3986) · 942ccc5c
      Ian Hickson authored
      This moves all the bot-related files to `dev/bots`, hiding it from our
      home page in github. Also, simplifies the travis setup, though that
      doesn't do any difference to the performance sadly.
      942ccc5c
  4. 13 Feb, 2016 1 commit