e21479f1ae8d2fac385c3965672c912d08dff280
-
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