1. 25 May, 2016 1 commit
  2. 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
  3. 16 May, 2016 1 commit
    • Seth Ladd's avatar
      Docs homepage (#3908) · 707fe582
      Seth Ladd authored
      * put an index at root of API docs bucket
      
      * ignore all of dev/docs/doc dir, fix a bug, remove private names from doc gen script
      
      * tweaks from review
      707fe582
  4. 13 May, 2016 1 commit
  5. 02 May, 2016 1 commit