diff options
| author | Nick White <git@njw.name> | 2019-01-06 09:52:42 +0000 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2019-01-06 09:52:42 +0000 |
| commit | dfd6a463a14d6bc67f84595cd3b51bdba90eac32 (patch) | |
| tree | fe02f0bcf2c43c4417dfd6f267978d48ac6ef9be /roles/devami | |
| parent | f5385e25f40c8c9140bb9deacbfda42eaa5c8a1c (diff) | |
Use my branch for ocropus, and build it without become
Diffstat (limited to 'roles/devami')
0 files changed, 0 insertions, 0 deletions