diff options
| author | Sander Vrijders <[email protected]> | 2016-02-27 12:26:35 +0100 |
|---|---|---|
| committer | Sander Vrijders <[email protected]> | 2016-02-27 12:26:35 +0100 |
| commit | e5bfc52e93654a8be7893cf5573c9c04e9c96c55 (patch) | |
| tree | ec6f93a22f1724f8ddf0d082faaaef3f01e65d75 /compile_release.sh | |
| parent | 4bfc45d1bc97b3df8212e3fcf7f10cbb660a8259 (diff) | |
| parent | 223813bbd609d929537b9f3f54bf4eec99d7663b (diff) | |
| download | ouroboros-e5bfc52e93654a8be7893cf5573c9c04e9c96c55.tar.gz ouroboros-e5bfc52e93654a8be7893cf5573c9c04e9c96c55.zip | |
Merged in dstaesse/ouroboros/be-update-workflow (pull request #11)
workflow: Update guidelines on use of pointers
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions