diff options
author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-14 11:32:22 +0000 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-10-14 11:32:22 +0000 |
commit | bf1602c915dee8bd6cbb69aba1fe88619b9c0eed (patch) | |
tree | 8c93fcb67d61ca40b060f9c9ea1b62389f247dbd /LICENSE | |
parent | 1888c137a8ff315bc549c16740aa727da8c666f5 (diff) | |
parent | bedd1d4eadde9ab64f924c69eba716b015599e67 (diff) | |
download | ouroboros-bf1602c915dee8bd6cbb69aba1fe88619b9c0eed.tar.gz ouroboros-bf1602c915dee8bd6cbb69aba1fe88619b9c0eed.zip |
Merged in dstaesse/ouroboros/be-deprecate-ouroboros-init-fini (pull request #626)
Be deprecate ouroboros init fini
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions