diff options
| author | Artturi <Artturin@artturin.com> | 2021-08-13 19:41:06 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-13 19:41:06 +0300 |
| commit | c93884185aae0b1ccbab6766482c5629b1b9cbd2 (patch) | |
| tree | 703251bb7e16c0ac3623ff0494df7eaf4a269021 /doc/languages-frameworks/coq.section.md | |
| parent | 0bddd0a336283e426b0ea877dd1869b1bc2a94a2 (diff) | |
| parent | 28d83087819f8be898a8bd4c659763ebf4f95d04 (diff) | |
| download | nixpkgs-c93884185aae0b1ccbab6766482c5629b1b9cbd2.tar nixpkgs-c93884185aae0b1ccbab6766482c5629b1b9cbd2.tar.gz nixpkgs-c93884185aae0b1ccbab6766482c5629b1b9cbd2.tar.bz2 nixpkgs-c93884185aae0b1ccbab6766482c5629b1b9cbd2.tar.lz nixpkgs-c93884185aae0b1ccbab6766482c5629b1b9cbd2.tar.xz nixpkgs-c93884185aae0b1ccbab6766482c5629b1b9cbd2.tar.zst nixpkgs-c93884185aae0b1ccbab6766482c5629b1b9cbd2.zip | |
Merge pull request #133784 from greedy/patch-1
unipicker: use absolute path for fzf
Diffstat (limited to 'doc/languages-frameworks/coq.section.md')
0 files changed, 0 insertions, 0 deletions