diff options
| author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-05-11 19:08:56 +0200 |
|---|---|---|
| committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-05-11 19:08:56 +0200 |
| commit | f3a15cb1358ae9b06dc3f8bd057f239bc8a7acdd (patch) | |
| tree | 8efc766fe8a9923d00e81c2efaf08883de3e6c33 /CHANGELOG.md | |
| parent | 75b3347d35236ad2ed36febdacfb5e41582aab40 (diff) | |
tools: Remove legacy scripts and git hooks
Diffstat (limited to 'CHANGELOG.md')
0 files changed, 0 insertions, 0 deletions