diff options
author | dimitri staessens <[email protected]> | 2016-06-20 21:58:17 +0200 |
---|---|---|
committer | dimitri staessens <[email protected]> | 2016-06-20 21:58:17 +0200 |
commit | 34f96731f5fb8ab8a1f7018366fc28fd041d73e2 (patch) | |
tree | aff0b0ed3474c7cdb5f6ba7e62ca5e33ccedb814 /src/lib/.gitignore | |
parent | 6270143e57306d11be5c02ee3c7857808583c0f5 (diff) | |
parent | 550cfa775b048abe183c4fdcc8ada8476e562185 (diff) | |
download | ouroboros-34f96731f5fb8ab8a1f7018366fc28fd041d73e2.tar.gz ouroboros-34f96731f5fb8ab8a1f7018366fc28fd041d73e2.zip |
Merged in sandervrijders/ouroboros/be (pull request #134)
build: Change install directories and set correct permissions
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions