diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-10 12:31:14 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-10 12:31:14 +0200 |
| commit | 0ec8f7b6d977a9cc469445d4990d432253f979d9 (patch) | |
| tree | 33ca5c8a7a237952b8c037596ecdd874b518a6fb /.gitignore | |
| parent | 31b2edb845628e1d6b1b5b17821b060c152679af (diff) | |
| parent | 6e854784ebc67af1eb8cdc3209f574e0af5e574d (diff) | |
| download | ouroboros-0ec8f7b6d977a9cc469445d4990d432253f979d9.tar.gz ouroboros-0ec8f7b6d977a9cc469445d4990d432253f979d9.zip | |
Merged in sandervrijders/ouroboros/be-bootstrap (pull request #199)
Several small fixes and enhancements
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions