diff options
| author | Marc Weitz | 2018-03-23 17:17:15 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-23 17:17:15 +0100 |
| commit | 35ae7aa90c4fa57ef8deb41bf5e8deaaa6dbe564 (patch) | |
| tree | 3514b1050ebaf2837d407fb843930b65b2211e13 /CONTRIBUTING.md | |
| parent | 9f5629184a8b2077fb16d8b18908dba420469ab9 (diff) | |
| parent | ccd99f74d47e2a54e8a8a81b0a68c02df7b9c4ac (diff) | |
Merge pull request #1 from fsi-tue/add-FinnIckler-scripts
add scripts from @FinnIckler
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions