diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-04 12:30:33 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-04 12:30:33 +0200 |
| commit | f85c70fdb6dbbadb903155120892e55b0eff5dda (patch) | |
| tree | cf80113aee8408b68f845ed7467cce3a8e5bb657 /doc/.gitignore | |
| parent | e77db148ce7adbaefb2ec7fb66a1fe0a36cff72f (diff) | |
| parent | 7729199645eb2c14d7b8a5329eb441f14fe7729f (diff) | |
| download | ouroboros-f85c70fdb6dbbadb903155120892e55b0eff5dda.tar.gz ouroboros-f85c70fdb6dbbadb903155120892e55b0eff5dda.zip | |
Merge branch 'testing' into be
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions