diff options
| author | Aleksey Kladov <[email protected]> | 2019-06-10 23:47:37 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-06-10 23:47:37 +0100 |
| commit | 10d34532e3e96ffd92c11e667deb453188c28282 (patch) | |
| tree | 095ad479dde329bdbff034af1f3ec587f473b1db /.gitignore | |
| parent | 75e6c03883c4533b1134c806d166b72200b4837d (diff) | |
rename tools -> ra_tools
This should help with caching on CI I hope (see .travis.yml
before_cache)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions