diff options
| author | Sander Vrijders <[email protected]> | 2016-06-14 15:09:30 +0200 |
|---|---|---|
| committer | Sander Vrijders <[email protected]> | 2016-06-14 15:09:30 +0200 |
| commit | b3bf84b1c11ac66ab0806b2d1a89870bec22a86e (patch) | |
| tree | 52d1f46a5a8a775a036196ec2800d300214a9f5f /doc/.gitignore | |
| parent | fa62a94304bf794edb3a837acb29ebff0c5ab1aa (diff) | |
| download | ouroboros-b3bf84b1c11ac66ab0806b2d1a89870bec22a86e.tar.gz ouroboros-b3bf84b1c11ac66ab0806b2d1a89870bec22a86e.zip | |
build: Change release directory
The release build was being installed sandboxed. Now it is installed
system-wide.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions