remove jo from dev-env (#6435)

It doesn't seem to be used anywhere. Obviously `git grep jo` returns a
lot of results, so I may have missed something in the noise, but I did a
reasonable effort to look through them.

CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Gary Verhaegen 2020-06-19 17:21:43 +02:00 committed by GitHub
parent 6496ddd903
commit e1bfbd6a72
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 2 deletions

View File

@ -1 +0,0 @@
../lib/dade-exec-nix-tool

View File

@ -192,7 +192,6 @@ in rec {
grpcurl = pkgs.grpcurl;
# String mangling tooling.
jo = pkgs.jo;
jq = bazel_dependencies.jq;
gawk = bazel_dependencies.gawk;
sed = pkgs.gnused;