summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorstuebinm2022-02-16 17:59:19 +0100
committerstuebinm2022-02-16 18:01:33 +0100
commit3b144c97636620a6fbd3807a8847b5751f86a52d (patch)
tree2071c617a44cbcfc0178ad58e8200dc7248e137b /.gitignore
parentc1988345690b9da7a82020ff72542860fcb1d68a (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions