diff options
| author | Dimitri Staessens <dimitri@ouroboros.rocks> | 2019-08-27 19:12:07 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander@ouroboros.rocks> | 2019-08-31 12:17:25 +0200 |
| commit | 63656e5c26c108263006695c5a77ae00e5bf26b1 (patch) | |
| tree | 14727d5459eba2547883cbfc1b3d043b2d2288ae /doc/.gitignore | |
| parent | 4cb5f64cd5455f0b6a99bbfc7f6e36b1987a4007 (diff) | |
| download | ouroboros-63656e5c26c108263006695c5a77ae00e5bf26b1.tar.gz ouroboros-63656e5c26c108263006695c5a77ae00e5bf26b1.zip | |
tools: Use time_utils from tools
The ocbr tool was still using the non-public time_utils from the
library instead of the version in tools.
Signed-off-by: Dimitri Staessens <dimitri@ouroboros.rocks>
Signed-off-by: Sander Vrijders <sander@ouroboros.rocks>
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions