diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-08-16 07:01:49 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-16 07:01:49 +0000 |
| commit | c8283ea410e7d640537303c6b644bbc3afb35cd5 (patch) | |
| tree | 57a4d386fcc20cd7bbef330a246357ed3cfdae35 /.gitignore | |
| parent | c3d9dbe4971549c8d2f8f821f06dcaa1dce90073 (diff) | |
| parent | a27bef54052b81406ba3142be3da4ab2a6330de6 (diff) | |
| download | ouroboros-c8283ea410e7d640537303c6b644bbc3afb35cd5.tar.gz ouroboros-c8283ea410e7d640537303c6b644bbc3afb35cd5.zip | |
Merged in dstaesse/ouroboros/be-single-accept (pull request #553)
Be single accept
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions