diff options
| author | Nick White <git@njw.name> | 2019-10-22 11:43:09 +0100 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2019-10-22 11:43:09 +0100 |
| commit | 1a6d3cda451b97acf59f79de6b11fbdd22b6ef1f (patch) | |
| tree | 483137867caeb9a04a3460bf042586f42c1239ad /hosts | |
| parent | 1b063fad174ec5f9d5d80683d2500802ea6afb7d (diff) | |
Remove unused roles, reorganise to better reflect the current state of affairs
Diffstat (limited to 'hosts')
| -rw-r--r-- | hosts | 17 |
1 files changed, 1 insertions, 16 deletions
@@ -1,18 +1,3 @@ [servers] -devami -pipelineami - -[tesseractors] -pipelineami - -[tesstrainers] -devami - -[ocropussies] -devami - -[preprocessors] -devami - -[pipeliners] pipelineami +trainerami |