diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-13T10·08+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-13T10·08+0000 |
| commit | 3392d32e8b4202da8d3b013edd6f585e98aa7b02 (patch) | |
| tree | 12dcf1cc9e5353aa03335b7f4102e853d9f2d483 /doc/dev | |
| parent | 327a232c85de3faa56f9a6117c86e1aa22f88bd6 (diff) | |
* In nix-pull/nix-channel, create the manifests directory if it
doesn't exist. The Debian packages don't include the manifests directory, so nix-channel would silently skip doing a nix-pull, resulting in everything being built from source. Thanks to Juan Pedro Bolívar Puente.
Diffstat (limited to 'doc/dev')
0 files changed, 0 insertions, 0 deletions