fix dev-env ghcid (#3218)

This commit is contained in:
Gary Verhaegen 2019-10-18 12:27:41 +02:00 committed by GitHub
parent 36719717fa
commit afaa5bdf5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1 +1 @@
../lib/dade-exec-nix-tool
../lib/dade-exec-nix-bin-tool