diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-10T16·14+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-10T16·14+0000 |
commit | 92e832348db13637875c4f529ed0aa83d3d34493 (patch) | |
tree | c00a500e1be79bf061f8ebd17e694eb4f7ee8d55 /externals | |
parent | 6551b36790d47477087fc3a7f7bb779f28e42d8e (diff) |
* Lots of manual stuff. Reference pages for most Nix commands.
* nix-pull now requires the full url to the manifest, i.e., `/MANIFEST/' is no longer automatically appended. * nix-prefetch-url works again.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions