diff options
| author | stuebinm | 2022-02-16 17:59:19 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 19:26:32 +0100 |
| commit | 8272b6f16b0125382eb44cabd819859f29528a31 (patch) | |
| tree | 53a950123df4bfc9ccdecf6ccb938907ed4e1e7c /lib/Properties.hs | |
| parent | ff8eeb131db9e9a0d9d3cef60ddcaa83692fb62c (diff) | |
server: remove cli-git, cli-extras
both these packages are hard to use, seem to be either unfinished or
abandoned, and also generally not very good.
Also for some reason they depend on `lens`. Removing them dramatically
shrunk the dependency closure!
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions