diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-07-09 10:35:34 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-07-09 10:35:34 +0000 |
| commit | 2a395ba451601edb746cfdec1e3d8f260795c765 (patch) | |
| tree | 2a9c320acb016c9257d96328a07d7b8f00be0190 /doc/.gitignore | |
| parent | 640d8227c9120c12838d68c3985db26ffa19b74b (diff) | |
| parent | 3ca06069e72a0f4b98865732c022acd7d63a1057 (diff) | |
| download | ouroboros-2a395ba451601edb746cfdec1e3d8f260795c765.tar.gz ouroboros-2a395ba451601edb746cfdec1e3d8f260795c765.zip | |
Merged in dstaesse/ouroboros/be-time (pull request #522)
lib: Fix bug and add test for time_utils
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions