zulip/tools/ci
Vishnu Ks a86faecff5 tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
..
activate-venv tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
backend tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
frontend tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
production tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
production-helper tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
setup-backend tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
setup-frontend tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
setup-production tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
success-http-headers.txt tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00