diff options
author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-14 13:42:52 +0000 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-10-14 13:42:52 +0000 |
commit | de225326e624a97bf08363c0b47772053c68c063 (patch) | |
tree | c3cdf20a9f2f7c835966d9f5a3dce651edc7ca35 /src/lib/dif_config.proto | |
parent | bf1602c915dee8bd6cbb69aba1fe88619b9c0eed (diff) | |
parent | c88c72010759d248d85b8195ed55323ca4a8c246 (diff) | |
download | ouroboros-de225326e624a97bf08363c0b47772053c68c063.tar.gz ouroboros-de225326e624a97bf08363c0b47772053c68c063.zip |
Merged in dstaesse/ouroboros/be-build-bugs (pull request #628)
build: Set bugreport URL
Diffstat (limited to 'src/lib/dif_config.proto')
0 files changed, 0 insertions, 0 deletions