diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-01-07 22:43:24 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-01-07 22:43:24 +0100 |
| commit | ea72d18e67035fbb4f6d82583ee35cdd8855b703 (patch) | |
| tree | efc5406adafce198f22e80f61119b86b6eb44ecd /tools | |
| parent | da4bbf398f13f911cd30d232ca4f8de46ac5ed3f (diff) | |
Simplify build definition.
This patch removes some superfluous settings from build.sbt.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions