diff options
| author | Florian Klink <flokli@flokli.de> | 2021-06-08 16:46:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-08 16:46:50 +0200 |
| commit | 206440c61156fc7ca7779daea862eaf14fdded69 (patch) | |
| tree | 6d12a784524b349389227c1d1fc63ef44917fb8c /pkgs/development/coq-modules/reglang | |
| parent | 6436dd344215bf1e90691a78d678857d95b7d950 (diff) | |
| parent | 42b211f1756d115ca8f52f228f7df8cc40f7703d (diff) | |
| download | nixlib-206440c61156fc7ca7779daea862eaf14fdded69.tar nixlib-206440c61156fc7ca7779daea862eaf14fdded69.tar.gz nixlib-206440c61156fc7ca7779daea862eaf14fdded69.tar.bz2 nixlib-206440c61156fc7ca7779daea862eaf14fdded69.tar.lz nixlib-206440c61156fc7ca7779daea862eaf14fdded69.tar.xz nixlib-206440c61156fc7ca7779daea862eaf14fdded69.tar.zst nixlib-206440c61156fc7ca7779daea862eaf14fdded69.zip | |
Merge pull request #125678 from alyssais/nix-comment
nix: clarify config.nix hack
Diffstat (limited to 'pkgs/development/coq-modules/reglang')
0 files changed, 0 insertions, 0 deletions