Commit graph

1 commit

Author SHA1 Message Date
Ian Hickson 942ccc5cb0 Try to simplify our bot setup. (#3986)
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.
2016-05-18 11:38:45 -07:00
Renamed from infra/VERSION_LINUX_NDK (Browse further)