/third_party/josh/

• ../
• default.nix
• pin-git2-rev.patch