diff options
| author | Jannis M. Hoffmann <jannis.hoffmann@rwth-aachen.de> | 2020-10-29 22:12:16 +0100 |
|---|---|---|
| committer | Jannis M. Hoffmann <jannis.hoffmann@rwth-aachen.de> | 2020-10-29 22:12:16 +0100 |
| commit | 349e15dd912e4701bd96119adc646a843cfdbfa4 (patch) | |
| tree | c6b56c55d29d70b2921d6f23aebd43db0f87c1ed /CHANGES | |
| parent | ee32c9b1ecef7f1f63c1ffd3a4ced63e753b6cdc (diff) | |
ignore dist file; adjust goals for v1.1
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions