diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-14 15:31:27 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-14 15:31:27 +0200 |
| commit | c88c72010759d248d85b8195ed55323ca4a8c246 (patch) | |
| tree | c3cdf20a9f2f7c835966d9f5a3dce651edc7ca35 /compile_release.sh | |
| parent | bf1602c915dee8bd6cbb69aba1fe88619b9c0eed (diff) | |
| download | ouroboros-c88c72010759d248d85b8195ed55323ca4a8c246.tar.gz ouroboros-c88c72010759d248d85b8195ed55323ca4a8c246.zip | |
build: Set bugreport URL
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions