-
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
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| automated_tests | ||
| benchmarks | ||
| bots | ||
| docs | ||
| manual_tests | ||
| tools |