diff options
author | Sander Vrijders <sander.vrijders@ugent.be> | 2018-10-09 17:18:06 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-10-09 17:18:06 +0200 |
commit | 2806b069f6dd95588e31c4357548bd44a6940607 (patch) | |
tree | c03bec5777762d00b8b1d502201e5be8aedbba86 /ouroboros-irm.pc.in | |
parent | 1d4501adf6da8f55dea85c0389b911b24e722620 (diff) | |
parent | ee1e7fe6c4d101569d045bcc8b99d7f0779f7e96 (diff) | |
download | ouroboros-2806b069f6dd95588e31c4357548bd44a6940607.tar.gz ouroboros-2806b069f6dd95588e31c4357548bd44a6940607.zip |
Merge branch 'testing' into be
Diffstat (limited to 'ouroboros-irm.pc.in')
0 files changed, 0 insertions, 0 deletions