diff options
| author | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-02-11 19:36:19 +0100 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-02-11 19:36:19 +0100 |
| commit | d85f6700de4db56341c429c0f4b5a44b72c07bb5 (patch) | |
| tree | cf977578c870a60f1a1fcff81d898df6488871cc /doc/.gitignore | |
| parent | cedcaee9c0074380b627b61f0591d36b54c452f4 (diff) | |
| parent | f78310f4886bad7029cc039971159ab7a97e00af (diff) | |
| download | ouroboros-d85f6700de4db56341c429c0f4b5a44b72c07bb5.tar.gz ouroboros-d85f6700de4db56341c429c0f4b5a44b72c07bb5.zip | |
Merge branch 'be' of bitbucket.org:ouroboros-rina/ouroboros into be
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions