diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-05-16 18:44:22 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-05-16 18:44:52 +0200 |
| commit | 608c4f89a2656f67ba915aab17633d41acc789a7 (patch) | |
| tree | 351d6fe3d9f53bb8c946174d53c7132419447429 /docs | |
| parent | 3e26a8ab76a434c3465ea1db1b4a2a2ff3ea8ec8 (diff) | |
Add build and test logs to the git repo
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions