diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-05 19:11:26 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-05 19:11:26 +0200 |
| commit | 6c799af1b4cf86a32979d98034c560fb976a9caf (patch) | |
| tree | f9072634e81bc152c0ca52b927ab9984a845e0e8 /compile_release.sh | |
| parent | db96f7d488681be47abfeec6c636fd4159a37660 (diff) | |
| parent | bc9c60382b226e5a75a11a99364b9b799dc2b0c2 (diff) | |
| download | ouroboros-6c799af1b4cf86a32979d98034c560fb976a9caf.tar.gz ouroboros-6c799af1b4cf86a32979d98034c560fb976a9caf.zip | |
Merged in dstaesse/ouroboros/be-pid (pull request #157)
lib: Change invalid pid to -1
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions