Merge pull request #100122 from cdepillabout/xdot

xdot: add to top-level
This commit is contained in:
Mario Rodas 2020-10-10 08:26:59 -05:00 committed by GitHub
commit cf8eb80176
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8127,6 +8127,8 @@ in
xdelta = callPackage ../tools/compression/xdelta { };
xdeltaUnstable = callPackage ../tools/compression/xdelta/unstable.nix { };
xdot = with python3Packages; toPythonApplication xdot;
xdummy = callPackage ../tools/misc/xdummy { };
xdxf2slob = callPackage ../tools/misc/xdxf2slob { };